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

bug-bash

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.

Current Thread

[Next in Thread]

Re: [bug] Home dir in PS1 not abbreviated to tilde, (continued)
- Re: [bug] Home dir in PS1 not abbreviated to tilde, Clark J. Wang, 2012/03/13
  - Re: [bug] Home dir in PS1 not abbreviated to tilde, dethrophes, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, Roman Rakus, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, Eric Blake, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, dethrophes, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, Eric Blake, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, dethrophes, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, Eric Blake, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, dethrophes, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, Andreas Schwab, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, dethrophes <=
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, Eric Blake, 2012/03/13
    - Re: [bug] Home dir in PS1 not abbreviated to tilde, dethrophes, 2012/03/13
- Re: [bug] Home dir in PS1 not abbreviated to tilde, Chet Ramey, 2012/03/13
  - Re: [bug] Home dir in PS1 not abbreviated to tilde, Yongzhi Pan, 2012/03/13