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

[dethrophes]

Am 13.03.2012 18:13, schrieb Andreas Schwab:

dethrophes<dethrop...@web.de>  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.