diff options
author | Christoph Cullmann <cullmann@kde.org> | 2022-08-14 19:01:21 +0200 |
---|---|---|
committer | Christoph Cullmann <cullmann@kde.org> | 2022-08-14 19:01:21 +0200 |
commit | 51fb029ca27d67d7cd67352cdede45e5b25868f7 (patch) | |
tree | 6d8e34b2abdc757310ffe11189e926d017417bae /themes/CodeIT/.devcontainer/.zprofile | |
parent | 260b6803e78609e16ad3d59792f1681d9df0f1e4 (diff) |
switch back to LoveIt, other theme is deprectated
Diffstat (limited to 'themes/CodeIT/.devcontainer/.zprofile')
-rw-r--r-- | themes/CodeIT/.devcontainer/.zprofile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/themes/CodeIT/.devcontainer/.zprofile b/themes/CodeIT/.devcontainer/.zprofile deleted file mode 100644 index 5f04837..0000000 --- a/themes/CodeIT/.devcontainer/.zprofile +++ /dev/null @@ -1,9 +0,0 @@ -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 |