# HG changeset patch # User Steve Losh # Date 1579313496 18000 # Node ID db7bfe2ae23ba948c8cfa66e9be5ca620742da94 # Parent ef89c7a131b15e9ec533f319ccb9cb07386e1846# Parent 3cc7cd9eb95451e6175df2423f8e8cf906e65463 Merge. diff -r ef89c7a131b1 -r db7bfe2ae23b bin/s --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/s Fri Jan 17 21:11:36 2020 -0500 @@ -0,0 +1,5 @@ +#!/usr/bin/env bash + +set -euo pipefail + +ssh "$@"