diff options
-rw-r--r-- | password.txt | 0 | ||||
-rwxr-xr-x | pull.sh | 56 |
2 files changed, 0 insertions, 56 deletions
diff --git a/password.txt b/password.txt deleted file mode 100644 index e69de29..0000000 --- a/password.txt +++ /dev/null diff --git a/pull.sh b/pull.sh deleted file mode 100755 index 9bde02e..0000000 --- a/pull.sh +++ /dev/null @@ -1,56 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail - -script_dir="$( dirname -- "${BASH_SOURCE[0]}" )" -script_dir="$( cd -- "$script_dir" && pwd )" -readonly script_dir - -dump() { - local prefix="${FUNCNAME[0]}" - [ "${#FUNCNAME[@]}" -gt 1 ] && prefix="${FUNCNAME[1]}" - - local msg - for msg; do - echo "$prefix: $msg" - done -} - -check_ssh_agent_running() { - if [ -z "${SSH_AUTH_SOCK+x}" ]; then - dump "SSH_AUTH_SOCK isn't defined (ssh-agent not running?)" >&2 - return 1 - fi -} - -add_ssh_key() { - local password_path="$script_dir/password.txt" - local password - password="$( cat -- "$password_path" )" - - local askpass_path - askpass_path="$( mktemp --tmpdir="$script_dir" )" - - local askpass_rm - askpass_rm="$( printf -- 'rm -f -- %q' "$askpass_path" )" - trap "$askpass_rm" RETURN - - chmod 0700 -- "$askpass_path" - - local echo_password - echo_password="$( printf -- 'echo %q' "$password" )" - echo "$echo_password" > "$askpass_path" - - local key_path="$HOME/.ssh/id_rsa" - - ssh-add -D - DISPLAY="${DISPLAY-x}" SSH_ASKPASS="$askpass_path" ssh-add "$key_path" < /dev/null -} - -main() { - check_ssh_agent_running - add_ssh_key - python3 -m pull.main "$@" -} - -main "$@" |