dotfiles

commit cd1d4c9dbed56348903f9ac3d92524db1cbf17d5
parent d3606e43c94b9a24224180e2c382b5d026626ce0
Author: Robert Russell <robert@rr3.xyz>
Date:   Thu, 21 May 2026 09:39:33 -0700

.profile: ssh-agent support

Diffstat:
M
.profile
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.profile b/.profile
@@ -4,6 +4,7 @@ export PAGER=less
 export PDFVIEWER=firefox
 export PATH="$PATH:$HOME/.local/bin:$HOME/.cabal/bin:/opt/ats2/bin:/opt/idris2/bin:$HOME/.elan/bin:$HOME/go/bin"
 export PATSHOME="/opt/ats2/lib/ats2-postiats-0.4.2"
+export SSH_AUTH_SOCK="$HOME/.ssh/agent/ssh-agent.sock"
 
 # opam configuration
 test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true