|
| 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<dethrophes@web.de> writes:the missing "" in the case isn't redundant. i.e. case "$HOME" inThe word is not subject to word splitting and filename expansion, so there is no need to quote. Andreas.
Ok thanks for clarifying that.
| [Prev in Thread] | Current Thread | [Next in Thread] |