[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: address@hidden: rcs2log]
From: |
Dr Francis J. Wright |
Subject: |
Re: address@hidden: rcs2log] |
Date: |
Tue, 29 Oct 2002 17:10:07 -0000 |
From: "Stefan Monnier" <monnier+gnu/address@hidden>
To: "Dr Francis J. Wright" <address@hidden>
Cc: "Stefan Monnier" <monnier+gnu/address@hidden>; "Juanma
Barranquero" <address@hidden>; "Eli Zaretskii" <address@hidden>;
<address@hidden>
Sent: Tuesday, October 29, 2002 4:40 PM
Subject: Re: address@hidden: rcs2log]
> > Why do you want to rename rcs2log to rcs2log.sh? That seems to me to
make
> > the Windows installation more non-standard than necessary.
>
> I just assumed that if rcs2log stays as it is, it might be run
> instead of rcs2log.bat. Whereas adding a .sh makes sure it won't
> be considered as an executable, so rcs2log.bat will be run instead.
> I agree that if it's not necessary, there's no point in making that
> change.
At first, I had exactly the same thought. But a file with no extension is
never executable under Windows (as far as I am aware) and experiment
confirmed that it was not necessary to rename rcs2log.
Francis
- Re: address@hidden: rcs2log], (continued)
- Re: address@hidden: rcs2log], Eli Zaretskii, 2002/10/29
- Re: address@hidden: rcs2log], Dr Francis J. Wright, 2002/10/30
- Re: address@hidden: rcs2log], Richard Stallman, 2002/10/31
- Re: address@hidden: rcs2log], Eli Zaretskii, 2002/10/29
- Re: address@hidden: rcs2log], Dr Francis J. Wright, 2002/10/30
- Message not available
- Re: rcs2log.bat, Dr Francis J. Wright, 2002/10/30
- Re: address@hidden: rcs2log], Eli Zaretskii, 2002/10/29
- Re: address@hidden: rcs2log], Dr Francis J. Wright, 2002/10/30
- Re: address@hidden: rcs2log], Dr Francis J. Wright, 2002/10/29
- Re: address@hidden: rcs2log], Stefan Monnier, 2002/10/29
- Re: address@hidden: rcs2log],
Dr Francis J. Wright <=
- Re: address@hidden: rcs2log], Eli Zaretskii, 2002/10/29
- Re: address@hidden: rcs2log], Juanma Barranquero, 2002/10/30
- Re: address@hidden: rcs2log], Eli Zaretskii, 2002/10/30
- Re: address@hidden: rcs2log], Juanma Barranquero, 2002/10/30
- Re: address@hidden: rcs2log], Richard Stallman, 2002/10/31
- Re: address@hidden: rcs2log], Richard Stallman, 2002/10/30