Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: Null tilde expansions?

X-seq: zsh-users 1845
From: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
To: Greg Badros <gjb@xxxxxxxxxxxxxxxxx>, zsh-users@xxxxxxxxxxxxxxx
Subject: Re: Null tilde expansions?
Date: Thu, 08 Oct 1998 09:29:29 +0200
In-reply-to: ""Bart Schaefer""'s message of "Wed, 07 Oct 1998 11:36:39 DFT." <981007113639.ZM15544@xxxxxxxxxxxxxxxxxxxxxxx>

On Oct 7, 10:50am, Greg Badros wrote:
} Subject: Re: Null tilde expansions?
}
} > Yes, you're right.  Or just ${dirs##~*}, in which the ~ is not expanded
} > in the first place.
} 
} Why does the ~ not get expanded?  This doesn't work in 3.1.4 or 3.0.x
} for me.  I need to escape the ~ with a backslash here, too.

% echo $dirs
/home/user2/pws ~foobar
% unsetopt extendedglob
% echo ${dirs##~*}     
/home/user2/pws
% setopt extendedglob
% echo ${dirs##~*}   
/home/user2/pws ~foobar

-- 
Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarotti 2, 56100 Pisa, Italy

References:
- Re: Null tilde expansions?
  - From: Bart Schaefer

Messages sorted by: Reverse Date, Date, Thread, Author