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
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
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
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
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
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
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
