Update zsh options; remove opensource & internal aliases

[dotfiles.git] / bash_login

diff --git a/bash_login b/bash_login
index 96b42af66b5328d2ddb6c788a586500d810e9e62..72a9ca9243f5546527b4c4c9b2aeb505a5454c01 100644 (file)
--- a/bash_login
+++ b/bash_login
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+export INPUTRC=~/.dotfiles/inputrc
+
 function short_pwd()
 { 
        local PWD=${PWD/#$HOME/\~};
@@ -13,9 +15,17 @@ export PS1='$( if [ $? = 0 ]; then echo \[\e[32m\]:-\)\ ; else echo \[\e[31m\]:-
 export PATH=~/bin:$PATH
 export MANPATH=~/man:$MANPATH
 
-source ~/.aliases
+source ~/.dotfiles/aliases
 
 export EDITOR=/usr/bin/vim
 export LSCOLORS=gxfxcxdxbxegedabagacad
 
-source ~/.webkit_login
+source ~/.dotfiles/webkit_login
+
+# Preserve bash history in multiple terminal windows
+# http://unix.stackexchange.com/questions/1288/preserve-bash-history-in-multiple-terminal-windows
+export HISTSIZE=10000
+export HISTFILESIZE=10000
+export HISTCONTROL=ignoredups:erasedups
+shopt -s histappend
+export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"