[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tab expansion of $HOME/ to \$HOME/
From: |
Chris Down |
Subject: |
Re: tab expansion of $HOME/ to \$HOME/ |
Date: |
Tue, 14 Jan 2014 10:57:03 +0800 |
User-agent: |
Mutt/1.5.22 (2013-10-16) |
On 2014-01-13 11:00:09 +0100, Diggory Hardy wrote:
> If I enter
>
> $ ls $HOME/Do
>
> and press the Tab key, bash expands to
>
> $ ls \$HOME/Documents
See this older thread[0].
If you bash >= 4.2.29 (which it appears you do), you can turn on
`direxpand' to get the old behaviour back by using `shopt -s direxpand'.
[0]: http://lists.gnu.org/archive/html/bug-bash/2011-02/msg00274.html
pgpHNF5P4XkCy.pgp
Description: PGP signature