X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=xremote.git;a=blobdiff_plain;f=xremote.sh;h=bcb33ca4f9bcfa6d8d56d6e54e883ca06208f99b;hp=d425792f530537a243e55131e6f24c45f8972b56;hb=HEAD;hpb=95ab929d49350c03b15c7965d8b5122d964a8943 diff --git a/xremote.sh b/xremote.sh index d425792..bcb33ca 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 ] [-d ] [-r ] [-i]