[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Shell completion on w32 uses "/" instead of "\"
From: |
LENNART BORGMAN |
Subject: |
Re: Shell completion on w32 uses "/" instead of "\" |
Date: |
Thu, 21 Dec 2006 13:23:29 +0100 |
From: Jason Rumney <address@hidden>
Date: Thursday, December 21, 2006 12:19 pm
Subject: Re: Shell completion on w32 uses "/" instead of "\"
> Eli Zaretskii wrote:
> > cmdproxy is IMO the _only_ level where this should be done
>
> I think it is wrong to do this in cmdproxy, as cmdproxy has no
> knowledge
> about what is a filename, and what is a literal string that must
> be
> passed to the command untouched.
> The right place to do this is when completing file names, since we
> know
> then that we are dealing with a file name. We should never change
> what
> the user has manually typed.
Yepp. That is what I wrote too.
- Re: Shell completion on w32 uses "/" instead of "\", (continued)
- Re: Shell completion on w32 uses "/" instead of "\", Chris Moore, 2006/12/22
- Re: Shell completion on w32 uses "/" instead of "\", Eli Zaretskii, 2006/12/22
- Re: Shell completion on w32 uses "/" instead of "\", Chris Moore, 2006/12/22
- Re: Shell completion on w32 uses "/" instead of "\", Lennart Borgman, 2006/12/22
- Re: Shell completion on w32 uses "/" instead of "\", Lennart Borgman, 2006/12/23
- Re: Shell completion on w32 uses "/" instead of "\", Kevin Gallagher, 2006/12/23
- Re: Shell completion on w32 uses "/" instead of "\", Lennart Borgman, 2006/12/23
- Re: Shell completion on w32 uses "/" instead of "\", Nick Roberts, 2006/12/23
- Re: Shell completion on w32 uses "/" instead of "\", Lennart Borgman, 2006/12/23
- Re: Shell completion on w32 uses "/" instead of "\", Richard Stallman, 2006/12/24
Re: Shell completion on w32 uses "/" instead of "\",
LENNART BORGMAN <=