I've only first noticed it to submit a big for Feisty. Since I'm using Feisty from a reinstall rather than upgrade, I don't know for sure.
I did notice the version of ProofGeneral (too old for my needs) included in the distribution installs the script in /usr/bin rather than /use/local/bin. For whatever reason, it now works (I can run proofgeneral from /use/local/bin). So this is a transient error (which I find more disturbing in that I don't know why it didn't work before, or whether it will continue to work). -- /etc/bash_completion reports script as being in the wrong location https://bugs.launchpad.net/bugs/109927 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
