diff options
author | Joseph Graham <joseph@fibreglass.tunachunks> | 2013-08-28 08:12:21 +0100 |
---|---|---|
committer | Joseph Graham <joseph@fibreglass.tunachunks> | 2013-08-28 08:12:21 +0100 |
commit | 22096a79ae3c47bbb5076dbce821c3fbfedce047 (patch) | |
tree | 49a6cd3c3042dbff126a4138c443f67a64c80592 | |
parent | 7f76f10a815575cd73917b5a29b0545e1560c9d8 (diff) |
need extended globs
-rwxr-xr-x | chili_change_detector | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/chili_change_detector b/chili_change_detector index f8dac0b..3ac6635 100755 --- a/chili_change_detector +++ b/chili_change_detector @@ -199,6 +199,8 @@ do real_title_a="${real_title%%:*}" real_title_b="${real_title#*:}" cat="${real_title_a%% - *}" # e.g. `pbot-ng' + + shopt -s extglob status="${real_title_a#* \#+([[:digit:]]) }" # e.g. `(fixed)' nump1="${real_title_a#* - }" num="${nump1% (*}" # e.g. `Bug #381' |