X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=xremote.sh;h=33396bc435c547b781df0d3dc7e649b673d54bc0;hb=cde9e336b76f51d14a8765c9ffd1ac57dd7a6a72;hp=2952bd2bb866670e735b071a71075467a3db7151;hpb=636e7f034de9da53ed1a9dc33d30a89bc4a370f1;p=xremote.git diff --git a/xremote.sh b/xremote.sh index 2952bd2..33396bc 100755 --- a/xremote.sh +++ b/xremote.sh @@ -18,7 +18,8 @@ ######################################################################### set -e -set -o pipefail + +# set -o pipefail ###################################################################### @@ -34,12 +35,12 @@ function check_remote_is_defined () { function help () { cat < +xremote.sh [--help] [-h ] [-i ]