diff options
| author | Christoph Cullmann <cullmann@kde.org> | 2021-02-18 22:21:36 +0100 |
|---|---|---|
| committer | Christoph Cullmann <cullmann@kde.org> | 2021-02-18 22:21:36 +0100 |
| commit | 0c7cb4486a89ec6fe9680e6569ef41d4b82d557d (patch) | |
| tree | 081941052bcab0caf69487b6bf5ab2df5deb3b7b /themes/CodeIT/.devcontainer/.zprofile | |
| parent | 640572ecab69291d2c266de2011b795a861e7c21 (diff) | |
use maintained theme
Diffstat (limited to 'themes/CodeIT/.devcontainer/.zprofile')
| -rw-r--r-- | themes/CodeIT/.devcontainer/.zprofile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/themes/CodeIT/.devcontainer/.zprofile b/themes/CodeIT/.devcontainer/.zprofile new file mode 100644 index 0000000..5f04837 --- /dev/null +++ b/themes/CodeIT/.devcontainer/.zprofile @@ -0,0 +1,9 @@ +if [ -z "$SSH_AUTH_SOCK" ]; then + # Check for a currently running instance of the agent + RUNNING_AGENT="`ps -ax | grep 'ssh-agent -s' | grep -v grep | wc -l | tr -d '[:space:]'`" + if [ "$RUNNING_AGENT" = "0" ]; then + # Launch a new instance of the agent + ssh-agent -s &> .ssh/ssh-agent + fi + eval `cat .ssh/ssh-agent` +fi
\ No newline at end of file |