Corinna & Igor,
Urgh! Bold hint: ./configure --prefix=/usr
I just (con-)figured that out myself. Thx anyways!
How do I go about Pierre's pid patch?
You'll need to see exactly what it changes in the 2.05 sources, find and modify the corresponding places in the 3.0 sources, and then (the hardest part) test that the fix actually works.
This mysterious patch of Pierre: is it in that half-a-ton patch file that comes with the bash-2.05b-17 sources? If yes, hasn't anybody tried to get this patch back into bash mainstream?
H.
