Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: problem with named directories over the net
- X-seq: zsh-users 4583
- From: Dominik Vogt <dominik.vogt@xxxxxx>
- To: zsh-users@xxxxxxxxxxxxxx
- Subject: Re: problem with named directories over the net
- Date: Fri, 11 Jan 2002 16:36:58 +0100
- In-reply-to: <000f01c19aad$368cc760$21c9ca95@xxxxxxxxxxxxxx>; from Andrej.Borsenkow@xxxxxxxxxxxxxx on Fri, Jan 11, 2002 at 05:35:27PM +0300
- Mail-followup-to: zsh-users@xxxxxxxxxxxxxx
- Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
- References: <20020111152849.G852@xxxxxxxxxxx> <000f01c19aad$368cc760$21c9ca95@xxxxxxxxxxxxxx>
- Reply-to: d.vogt@xxxxxxxxxxx
On Fri, Jan 11, 2002 at 05:35:27PM +0300, Borsenkow Andrej wrote:
> > >
> > > PS1="%~ %# "
> > >
> > > Is it what you want?
> >
> > No, I already have that im my prompt. The problem is that only
> > "/home/luthien" is written as "~",
> > not "/net/server/share/home/luthien".
> >
>
> Yes, I already realized I misunderstood the problem.
>
> I wonder if zsh should resolve links when comparing paths. Is there
> cases when somebody would like to treat link and its target differently?
I think zsh can't even know that there is a link from /home to
/net ... I'd have to specify a list of directories that are shown
with the same name in the prompt.
Bye
Dominik ^_^ ^_^
--
Dominik Vogt, email: d.vogt@xxxxxxxxxxx
LifeBits Aktiengesellschaft, Albrechtstr. 9, D-72072 Tuebingen
fon: ++49 (0) 7071/7965-0, fax: ++49 (0) 7071/7965-20
Messages sorted by:
Reverse Date,
Date,
Thread,
Author