diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2013-02-02 21:55:01 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2013-02-02 21:55:01 -0200 |
commit | 2a018fc7cd3eb1eded7ff8d46682c6fa0883e85c (patch) | |
tree | e723ae39da0e02bbfb7f97a90121e0a1b258c460 /sync-code | |
parent | 2a541cecb9f0ba6f7d1d2db2b6362a3a023b2a44 (diff) | |
download | scripts-2a018fc7cd3eb1eded7ff8d46682c6fa0883e85c.tar.gz scripts-2a018fc7cd3eb1eded7ff8d46682c6fa0883e85c.tar.bz2 |
Using a specific version of unison
Diffstat (limited to 'sync-code')
-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 |