Bash 3 and $HOME abbreviated with a tilde.

2005-06-12 Thread J.O. Aho
Got a bit irritated when updating my Gentoo boxes to use bash 3.00.16, the \W and \w options for the prompt now replaces the home directory name to tilde, I hope I'm not the only one who wants to see the home directory name instead of the tilde. Wouldn't it be possible to see options \U and

Re: Bash 3 and $HOME abbreviated with a tilde.

2005-06-12 Thread Chris F.A. Johnson
On Sat, 11 Jun 2005, J.O. Aho wrote: Got a bit irritated when updating my Gentoo boxes to use bash 3.00.16, the \W and \w options for the prompt now replaces the home directory name to tilde, I hope I'm not the only one who wants to see the home directory name instead of the tilde. Wouldn'

remove extra blank lines in info table of contents

2005-06-12 Thread michael
Please remove the extra line spacing between items in the main table of contents. While it looks reasonable in the HTML version, it looks dreadful in the info viewer and is inconsistent with the other tables of links. Configuration Information [Automatically generated, do not change]: Machine: i3