diff options
-rwxr-xr-x | sync-code | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5,6 +5,7 @@ BASENAME="`basename $0`" DEST="$1" +UNISON="unison-2.32.52" if [ ! -z "$DEST" ]; then @@ -15,7 +16,7 @@ if [ ! -z "$DEST" ]; then fi if [ -f "$HOME/.unison/$profile.prf" ]; then - unison $profile + $UNISON $profile else echo "No such profile $HOME/.unison/$profile.prf" exit 1 |