bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug] Home dir in PS1 not abbreviated to tilde


From: dethrophes
Subject: Re: [bug] Home dir in PS1 not abbreviated to tilde
Date: Tue, 13 Mar 2012 18:18:40 +0100
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2

Am 13.03.2012 18:13, schrieb Andreas Schwab:
dethrophes<address@hidden>  writes:

the missing "" in the case isn't redundant.
i.e. case "$HOME" in
The word is not subject to word splitting and filename expansion, so
there is no need to quote.

Andreas.

Ok thanks for clarifying that.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]