Hmm, I'm starting to think this is not a "bug" but rather something that belongs to a "policy discussion" (as suggested by the Ubuntu bug reporting tutorial)?
Anyway, the version info:
Ubuntu 12.10
$ bash --version
GNU bash, version 4.2.37(1)-release (x86_64-pc-linux-gnu)
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software; you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Hmm, I'm starting to think this is not a "bug" but rather something that belongs to a "policy discussion" (as suggested by the Ubuntu bug reporting tutorial)?
Anyway, the version info:
Ubuntu 12.10
$ bash --version pc-linux- gnu) gnu.org/ licenses/ gpl.html>
GNU bash, version 4.2.37(1)-release (x86_64-
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://
This is free software; you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.