diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-15 01:36:09 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-15 01:36:15 +0200 |
| commit | 46f1e3c6f6e598ddd809a898a5d510a302605e75 (patch) | |
| tree | 5a1a1cfde7769da2db290770ee7cb4d5f7a0c891 /%HOME%/.profile | |
| parent | remove stack configuration (diff) | |
| download | linux-home-46f1e3c6f6e598ddd809a898a5d510a302605e75.tar.gz linux-home-46f1e3c6f6e598ddd809a898a5d510a302605e75.zip | |
.profile: remove ssh-agent configuration
I haven't actually used it in forever; this is a good candidate for a
revert though.
Diffstat (limited to '%HOME%/.profile')
| -rw-r--r-- | %HOME%/.profile | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/%HOME%/.profile b/%HOME%/.profile index 36b413a..250653c 100644 --- a/%HOME%/.profile +++ b/%HOME%/.profile @@ -119,32 +119,6 @@ pyenv_setup() { pyenv_setup # ----------------------------------------------------------------------------- -# ssh-agent -# ----------------------------------------------------------------------------- - -kill_ssh_agent() { - [ -n "${SSH_AGENT_PID:+x}" ] && kill "$SSH_AGENT_PID" -} - -spawn_ssh_agent() { - local output - [ -z "${SSH_AUTH_SOCK:+x}" ] \ - && command -v ssh-agent > /dev/null 2>&1 \ - && output="$( ssh-agent -s )" \ - && eval "$output" > /dev/null \ - && [ -n "${SSH_AGENT_PID:+x}" ] \ - && trap kill_ssh_agent EXIT -} - -# This is a deprecated way to start ssh-agent; now it's managed by systemd (see -# .config/systemd/user/ssh-agent.service for details). -# Before starting ssh-agent like this, make sure to disable system ssh-agent's -# (like those started by Gnome or X11). -# Also, this file needs to be sourced by both your login shell and your display -# manager. -command -v systemctl > /dev/null 2>&1 || spawn_ssh_agent - -# ----------------------------------------------------------------------------- # Rust # ----------------------------------------------------------------------------- |