[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: No tilde expansion right after a quotation
From: |
Jon Seymour |
Subject: |
Re: No tilde expansion right after a quotation |
Date: |
Mon, 16 Feb 2009 11:52:36 +1100 |
On Mon, Feb 16, 2009 at 11:44 AM, Paul Jarc <prj@po.cwru.edu> wrote:
> Jon Seymour <jon.seymour@gmail.com> wrote:
>> On Mon, Feb 16, 2009 at 10:22 AM, Paul Jarc <prj@po.cwru.edu> wrote:
>>> CPATH=${CPATH:+$CPATH:}${#+~usr1/blah/blah}
>>
>> Out of interest, how does one derive that outcome from the documented
>> behaviour of bash? That is, which expansion rules are being invoked?
>
> It's ${parameter+word}, using $# (which is always set) as the
> parameter.
The manual specifies a rule for ${parameter:+word}, but not
${parameter+word}. Is the : sugar which can be ignored under some
circumstances?
jon.
>
>
> paul
>
- Re: No tilde expansion right after a quotation, (continued)
- Re: No tilde expansion right after a quotation, Angel Tsankov, 2009/02/15
- Re: No tilde expansion right after a quotation, Jon Seymour, 2009/02/15
- Re: No tilde expansion right after a quotation, Angel Tsankov, 2009/02/15
- Re: No tilde expansion right after a quotation, Paul Jarc, 2009/02/15
- Re: No tilde expansion right after a quotation, Angel Tsankov, 2009/02/15
- Re: No tilde expansion right after a quotation, Jon Seymour, 2009/02/15
- Re: No tilde expansion right after a quotation, Paul Jarc, 2009/02/15
- Re: No tilde expansion right after a quotation, Angel Tsankov, 2009/02/15
- Re: No tilde expansion right after a quotation, Jon Seymour, 2009/02/15
- Re: No tilde expansion right after a quotation, Paul Jarc, 2009/02/15
- Re: No tilde expansion right after a quotation,
Jon Seymour <=
- Re: No tilde expansion right after a quotation, Paul Jarc, 2009/02/15
- Re: No tilde expansion right after a quotation, Jon Seymour, 2009/02/15
- Re: No tilde expansion right after a quotation, Angel Tsankov, 2009/02/15
- Re: No tilde expansion right after a quotation, Eric Blake, 2009/02/15
- Re: No tilde expansion right after a quotation, Angel Tsankov, 2009/02/16
- Re: No tilde expansion right after a quotation, Dave B, 2009/02/16
- Re: No tilde expansion right after a quotation, Angel Tsankov, 2009/02/16
- Re: No tilde expansion right after a quotation, Eric Blake, 2009/02/16
- Re: No tilde expansion right after a quotation, Chet Ramey, 2009/02/16