Ubuntu
bash package

  1. Bug #109927
  2. Comment #3

Comment 3 for bug 109927

Revision history for this message
Robert (robrwo) wrote :

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