From dc5914816bf4d8afbeccc4fae3f77dff304187b9 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Mon, 4 Jun 2018 23:30:25 +0300 Subject: ssh.sh: move to .profile --- %HOME%/.bash_utils/ssh.sh | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 %HOME%/.bash_utils/ssh.sh (limited to '%HOME%/.bash_utils') diff --git a/%HOME%/.bash_utils/ssh.sh b/%HOME%/.bash_utils/ssh.sh deleted file mode 100644 index fa92088..0000000 --- a/%HOME%/.bash_utils/ssh.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/usr/bin/env bash - -# Copyright (c) 2018 Egor Tensin -# This file is part of the "Linux/Cygwin environment" project. -# For details, see https://github.com/egor-tensin/linux-home. -# Distributed under the MIT License. - -kill_ssh_agent() { - [ -n "${SSH_AGENT_PID:+x}" ] && kill "$SSH_AGENT_PID" -} - -spawn_ssh_agent() { - local output - [ -z "${SSH_AGENT_PID:+x}" ] \ - && command -v ssh-agent > /dev/null 2>&1 \ - && output="$( ssh-agent -s )" \ - && eval "$output" > /dev/null \ - && [ -n "${SSH_AGENT_PID:+x}" ] \ - && echo "Spawned ssh-agent with PID: $SSH_AGENT_PID." \ - && trap kill_ssh_agent EXIT -} - -alias ssh-copy-id='ssh-copy-id -i' -- cgit v1.2.3