projects / xremote.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 636e7f0) | patch
Removed -o pipefail.
authorFrancois Fleuret <francois@fleuret.org>
Tue, 3 Oct 2017 13:12:50 +0000 (15:12 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Tue, 3 Oct 2017 13:12:50 +0000 (15:12 +0200)
commitdb75828ad9cc6638d122009c81be2cb0ee65d2da
treefbf22919acf490824bd135f6f094d174e5609c85tree | snapshot
parent636e7f034de9da53ed1a9dc33d30a89bc4a370f1commit | diff
Removed -o pipefail.
xremote.sh diff | blob | history
A simple bash script to send a local script and execute remotely.