diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-06-16T10·50+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-06-16T10·50+0100 |
| commit | 3e33382675a7eb4b8e025a24a89ff97d11c29056 (patch) | |
| tree | ec2324cd73bf1fa20f8dfe120781acde36e59687 | |
| parent | 183b3061592ef277fe3ed930257b233f37eea758 (diff) | |
Don't start ssh-agent in .profile
Problem: My SSH is behaving strangely. Reason: I'm not sure. What I do know, however, is that Google handles SSH differently. So I think that's enough for me to know I should keep my hands off and not wrestle with it.
| -rw-r--r-- | configs/.profile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/configs/.profile b/configs/.profile index fef9ef814e49..2237bb144513 100644 --- a/configs/.profile +++ b/configs/.profile @@ -8,12 +8,6 @@ if [ -z "$DISPLAY" -a "$(tty)" = '/dev/tty5' ]; then exec xinit -- vt05 fi -# I tried configuring home-manager to generate the ssh-agent init code (i.e. the -# code below), but it seems that the home-manager community support using -# gpg-agent to emulate the ssh-agent. I tried that, but I didn't fully -# understand the benefits. -eval "$(ssh-agent -s)" - # This fixes nixpkgs that rely on glibc-2.27, which allegedly breaks locale # issues. # See this thread for more details: https://github.com/NixOS/nixpkgs/issues/8398 |