From 8a8eb3a7f39754e032cfe2d402c07ec0d6a33373 Mon Sep 17 00:00:00 2001 From: John Internet Date: Thu, 2 Jan 2020 15:57:06 +0000 Subject: [PATCH] Remove .sh ext --- Dockerfile | 6 +++--- agent-add | 5 +++++ agent-start | 7 +++++++ agent-stop | 13 +++++++++++++ hosts-add | 3 +++ hosts-clear | 3 +++ 6 files changed, 34 insertions(+), 3 deletions(-) create mode 100644 agent-add create mode 100644 agent-start create mode 100644 agent-stop create mode 100644 hosts-add create mode 100644 hosts-clear diff --git a/Dockerfile b/Dockerfile index fb08841..153a9f0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -9,7 +9,7 @@ RUN rm -rf /var/cache/apk/* RUN mkdir ~/.ssh # Copy in our executables. -COPY agent-start.sh /bin/agent-start -COPY agent-add.sh /bin/agent-add -COPY agent-stop.sh /bin/agent-stop +COPY agent-start /bin/agent-start +COPY agent-add /bin/agent-add +COPY agent-stop /bin/agent-stop RUN chmod +x /bin/agent-start /bin/agent-stop /bin/agent-add diff --git a/agent-add b/agent-add new file mode 100644 index 0000000..43b60d3 --- /dev/null +++ b/agent-add @@ -0,0 +1,5 @@ +#!/bin/sh + +# Start the SSH agent if it isn't already. +agent-start +ssh-add "$@" diff --git a/agent-start b/agent-start new file mode 100644 index 0000000..81affb6 --- /dev/null +++ b/agent-start @@ -0,0 +1,7 @@ +#!/bin/sh + +# Start the SSH agent if it isn't already. +if [ -z "$SSH_AGENT_PID" ]; then + eval $(ssh-agent) > /dev/null + echo "$SSH_AGENT_PID" > /tmp/ssh-agent-id +fi diff --git a/agent-stop b/agent-stop new file mode 100644 index 0000000..696a502 --- /dev/null +++ b/agent-stop @@ -0,0 +1,13 @@ +#!/bin/sh + +if [ ! -z "$SSH_AGENT_PID" ]; then + ssh-agent -k + exit $? +elif [ -f "/tmp/ssh-agent-id" ]; then + SSH_AGENT_PID=$(cat /tmp/ssh-agent-id) + ssh-agent -k + exit $? +else + echo "SSH_AGENT_PID not set, /tmp/ssh-agent-id doesn't exist!" 1>&2 + exit 1 +fi \ No newline at end of file diff --git a/hosts-add b/hosts-add new file mode 100644 index 0000000..b7e1e97 --- /dev/null +++ b/hosts-add @@ -0,0 +1,3 @@ +#!/bin/sh + +echo "$@" >> ~/.ssh/known_hosts \ No newline at end of file diff --git a/hosts-clear b/hosts-clear new file mode 100644 index 0000000..2dde0b0 --- /dev/null +++ b/hosts-clear @@ -0,0 +1,3 @@ +#!/bin/sh + +truncate -s 0 ~/.ssh/known_hosts \ No newline at end of file