On Mon, Oct 13, 2008 at 12:13:37AM +0100, Eric Kow wrote:
> Would modifying the test to something like
>
> if pwd; then
> darcs get $DIR/tmp_remote 2> log
> not grep -i 'permission denied' log
> else
> echo "Can't do `basename $0` on this platform"
> fi
>
> do what we want?
You have to explicitely use /bin/pwd. If you use just pwd, the shell
builtin is used, and most "modern" shells (including bash) know
what there current working directory is.
Ciao,
Kili
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
