Using a specific version of unison

diff --git a/sync-code b/sync-code
index bdb5f326c49bf2f693feb5722f6455feb52dd06f..1211ebdd1a99b0db95119b493a6ed05ca7a03699 100755 (executable)
--- 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