From fbd9314bb772bcf7a31d5107f433576409587df7 Mon Sep 17 00:00:00 2001 From: SqrtMinusOne Date: Thu, 20 Feb 2025 11:27:19 +0300 Subject: [PATCH] console: fix ssh-agent & manpath --- .profile | 6 +++--- Console.org | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.profile b/.profile index 49c2acd..6de1f06 100755 --- a/.profile +++ b/.profile @@ -52,10 +52,10 @@ fi # [[file:Console.org::*ssh-agent][ssh-agent:1]] if ! pgrep -u "$USER" ssh-agent > /dev/null; then - ssh-agent -t 1h > "$XDG_RUNTIME_DIR/ssh-agent.env" + ssh-agent -t 1h > "/tmp/ssh-agent.env" fi if [[ ! -f "$SSH_AUTH_SOCK" ]]; then - source "$XDG_RUNTIME_DIR/ssh-agent.env" >/dev/null + source "/tmp/ssh-agent.env" >/dev/null fi # ssh-agent:1 ends here @@ -69,7 +69,7 @@ if [ -z "$IS_ANDROID" ] && [ -z "$NO_GUIX" ] ; then . "$GUIX_PROFILE"/etc/profile fi if [ -d "$profile"/share/man ]; then - if command -v manpath; then + if command -v manpath >/dev/null 2>/dev/null; then export MANPATH="${MANPATH:-$(manpath)}:$profile/share/man" else export MANPATH="${MANPATH}:$profile/share/man" diff --git a/Console.org b/Console.org index 12b8f24..f4473ff 100644 --- a/Console.org +++ b/Console.org @@ -129,7 +129,7 @@ if [ -z "$IS_ANDROID" ] && [ -z "$NO_GUIX" ] ; then . "$GUIX_PROFILE"/etc/profile fi if [ -d "$profile"/share/man ]; then - if command -v manpath; then + if command -v manpath >/dev/null 2>/dev/null; then export MANPATH="${MANPATH:-$(manpath)}:$profile/share/man" else export MANPATH="${MANPATH}:$profile/share/man"