commit 1952b154af8f2afedbdb4b58bd1c6d9099b39973 parent e42c481a6dd6d5b7977fcd7221267cceeeefbb86 Author: Toby Goodwin <toby@paccrat.org> Date: Fri, 25 Aug 2017 20:36:45 +0100 use "/bin/pwd -P" - github #36 Diffstat:
| M | trip.rc | | | 8 | ++++---- |
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/trip.rc b/trip.rc @@ -244,17 +244,17 @@ if (~ `{echo -n} ?) if (!~ `` '' {echo --} $nl) fail echo -- -pwd=`/bin/pwd cdpath=/ { # some local assignments +pwd=`{/bin/pwd -P} cdpath=/ { # some local assignments home=/tmp cd - if (!~ `/bin/pwd `{sh -c 'cd /tmp; /bin/pwd'}) + if (!~ `{/bin/pwd -P} `{sh -c 'cd /tmp; /bin/pwd -P'}) fail could not cd to '$home' cdpath=/ cd tmp - if (!~ `/bin/pwd `{sh -c 'cd /tmp; /bin/pwd'}) + if (!~ `{/bin/pwd -P} `{sh -c 'cd /tmp; /bin/pwd -P'}) fail could not cd to /tmp cd $pwd - if (!~ `/bin/pwd `{sh -c 'cd $pwd; /bin/pwd'}) + if (!~ `{/bin/pwd -P} `{sh -c 'cd $pwd; /bin/pwd -P'}) fail could not cd to current directory! }