aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsync-code3
1 files changed, 2 insertions, 1 deletions
diff --git a/sync-code b/sync-code
index bdb5f32..1211ebd 100755
--- a/sync-code
+++ b/sync-code
@@ -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