Thank you for taking the time to report this bug and help to improve Ubuntu.
I definitely don't think that the update-grub script should be changed to handle non-standard GREP_OPTIONS values set; use of grep in scripts is common practice and setting such options will break many of those scripts, including many scripts which don't originate with Ubuntu. So as a 'grub' bug, this is invalid because there is no change that should be made here. As for trying to fix this in bash: while update-grub is a bash script, the vast majority of shell scripts on Ubuntu invoke /bin/sh, which is dash rather than bash. So fixes that depend on bash-specific variables will be an incomplete solution. It may be appropriate to implement a general fix for this in the base- files package. ** Changed in: base-files (Ubuntu) Sourcepackagename: grub => base-files Importance: Undecided => Wishlist -- Far too many bash scripts are sensitive to GREP_OPTIONS https://bugs.launchpad.net/bugs/318923 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs