From bca44b477f59e03104a0f15c200589466e813a2d Mon Sep 17 00:00:00 2001 From: ben Date: Mon, 29 Mar 2010 10:51:28 +0200 Subject: bash env: set $SSH_USER if unset --- .config/bash/environment.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.config/bash/environment.sh b/.config/bash/environment.sh index 436bc02..1c9b2e5 100644 --- a/.config/bash/environment.sh +++ b/.config/bash/environment.sh @@ -1,3 +1,6 @@ +if [ "${SSH_USER}x" = "x" ]; then + export SSH_USER=$USER +fi #export PAGER="col -b 2>/dev/null | view -c 'set ft=man' -c 'set titlestring=[view]man' -c 'set number!' -" #export PAGER="sed 's/\[[^m]*m//g; s/.//g' | view -c 'set ft=man' -c 'set titlestring=[view]man' -c 'set number!' -" -- cgit