[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] Re: #!/bin/bash in TeXmacs
|
From: |
Geert Hendrickx |
|
Subject: |
[Texmacs-dev] Re: #!/bin/bash in TeXmacs |
|
Date: |
Fri, 11 Nov 2005 16:40:49 +0100 |
|
User-agent: |
Mutt/1.4.2.1i |
On Fri, Nov 11, 2005 at 10:48:16AM +0100, Joris van der Hoeven wrote:
> OK, I'll change that. If I remember well, $TEXMACS_MAPLE_DIR/extern is a
> directory though. Should I use -d instead of -e (or -f)?
-d checks whether the file exists and is a directory, yes.
Thanks for the changes,
Geert