[Bug 109927] Re: /etc/bash_completion reports script as being in the wrong location
I've not noticed it coming up again, but the version of proofgeneral that I'm using now is installed in /usr instead of /use/local. -- /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
[Bug 109927] Re: /etc/bash_completion reports script as being in the wrong location
Ok, I'm going to close the bug. If it comes up again, feel free to re- open it. Thanks for the bug report. ** Changed in: bash (Ubuntu) Status: New = Invalid -- /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
[Bug 109927] Re: /etc/bash_completion reports script as being in the wrong location
Has this come up again, or is it not a problem now? -- /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
[Bug 109927] Re: /etc/bash_completion reports script as being in the wrong location
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
[Bug 109927] Re: /etc/bash_completion reports script as being in the wrong location
The words transient error strikes fear into the hearts of any software developer. I'm afraid, I can't help debug this one :( -- /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
[Bug 109927] Re: /etc/bash_completion reports script as being in the wrong location
Did this problem start with the upgrade to Feisty? I've noticed a similar thing on our machines during a move to Feisty, .desktop file references failing to find shell scripts in /usr/local/bin. -- /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
[Bug 109927] Re: /etc/bash_completion reports script as being in the wrong location
I forgot to add that if I sudo, then it works fine. Presumably because arguments to sudo are handled differently, not because this is a permissions issue. -- /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
