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