Index: TipAndDoc/.bashrc
===================================================================
--- TipAndDoc/.bashrc	(revision ddb1335b75dbcacd9e3bf7bf7cb90510b67f13af)
+++ TipAndDoc/.bashrc	(revision a53ff5b0b6601c61e10a4e3d746acbff4349a0a1)
@@ -4,7 +4,4 @@
 export PAGER=less
 export LESS='-FRX -i -P ?f%f:(stdin).  ?lb%lb?L/%L..  [?eEOF:?pb%pb\%..]'
-
-HISTSIZE=50000
-HISTFILESIZE=50000
 
 set -o notify   # notify end of background job immediately
@@ -34,4 +31,20 @@
 fi
 
+agent="$HOME/.ssh/ssh-agent-$USER"
+if [ -S "$SSH_AUTH_SOCK" ]; then
+    case $SSH_AUTH_SOCK in
+    /tmp/*/agent.[0-9]*)
+        ln -snf "$SSH_AUTH_SOCK" $agent && export SSH_AUTH_SOCK=$agent
+    esac
+elif [ -S $agent ]; then
+    export SSH_AUTH_SOCK=$agent
+else
+    echo "no ssh-agent"
+fi
+
+if [ -d "$HOME/bin" ]; then
+    PATH="$HOME/bin:$PATH"
+fi
+
 alias vi='vim'
 alias sudo='sudo -H '