diff options
| -rwxr-xr-x | services/bin/services | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/services/bin/services b/services/bin/services new file mode 100755 index 00000000..c142a363 --- /dev/null +++ b/services/bin/services @@ -0,0 +1,24 @@ +#! /bin/sh +# usage: services [user@]hostname[:port] +# environment: +# services_identity_file path to ssh(1) identity_file +set -euf + +user=services +hostname=${1-localhost} +port=1337 + +if test -n "${services_identity_file-}"; then + options="${options+$options }-i $services_identity_file" +fi + +if echo $hostname | grep -q @; then + user=`echo $hostname | cut -d@ -f1` + hostname=`echo $hostname | cut -d@ -f2` +fi +if echo $hostname | grep -q :; then + port=`echo $hostname | cut -d: -f2` + hostname=`echo $hostname | cut -d: -f1` +fi + +ssh $options $user@$hostname -p $port |