Package: dash Version: 0.5.7.3 $ dash -c 'case foo-rev0 in *-rev*[^0-9]*) echo boom;; esac' boom
Problem seen in 0.5.5.1-3ubuntu2, still present in wheezy. All other tested shells (bas, zsh) behave as expected, only dash seems to think there is a non-numeral somewhere after "-rev". -- Yann Dirson - Bertin Technologies -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
