diff options
author | Romain Gonçalves <me@rgoncalves.se> | 2024-05-14 18:53:03 +0200 |
---|---|---|
committer | Romain Gonçalves <me@rgoncalves.se> | 2024-05-14 18:53:03 +0200 |
commit | 612dbb6993c8a548744f29a4d15d6b31325357c8 (patch) | |
tree | 0d61cee0ea74ac811268d0ffc00d3d55f7174112 /.bin/ssh-personal | |
parent | 23e2bfd987c430bb41bc7860c46c2f572e9e2db4 (diff) | |
download | dots-612dbb6993c8a548744f29a4d15d6b31325357c8.tar.gz |
Diffstat (limited to '.bin/ssh-personal')
-rwxr-xr-x | .bin/ssh-personal | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.bin/ssh-personal b/.bin/ssh-personal new file mode 100755 index 0000000..e99764c --- /dev/null +++ b/.bin/ssh-personal @@ -0,0 +1,14 @@ +#!/bin/sh +# Used for work laptop. +# Add personal key and start the ssh-agent with it. + +set -xe + +ssh_personal_key="${HOME}/.ssh/id_personal" + +test -f "${ssh_personal_key}" + +eval "$(ssh-agent)" +ssh-add "${ssh_personal_key}" + +set +xe |