From 1952b154af8f2afedbdb4b58bd1c6d9099b39973 Mon Sep 17 00:00:00 2001 From: Toby Goodwin Date: Fri, 25 Aug 2017 20:36:45 +0100 Subject: use "/bin/pwd -P" - github #36 --- trip.rc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/trip.rc b/trip.rc index 0d65044..1189fb9 100644 --- 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! } -- cgit v1.2.3