From: Silvio Rhatto <rhatto@riseup.net>
Date: Sat, 2 Feb 2013 23:55:01 +0000 (-0200)
Subject: Using a specific version of unison
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=2a018fc7cd3eb1eded7ff8d46682c6fa0883e85c;p=scripts.git

Using a specific version of unison
---

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