Those are GNU bash extensions and unsupported by POSIX. http://www.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#tag_18_06_02 http://www.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#exit
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org