X-Git-Url: https://iankelling.org/git/?a=blobdiff_plain;f=.bash_profile;h=09b0001a7b43bf003462fa5cb9f95328ca5d605f;hb=165008e5b82c81ebff1061c8f8294c3bc6e9dced;hp=fd099aa593ad0ff9c683385624cde4c26f3b3c5f;hpb=e3a5731e907ae95616afd1946ac372ebb6686e61;p=distro-setup

diff --git a/.bash_profile b/.bash_profile
index fd099aa..09b0001 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -11,7 +11,30 @@
 # it is purposefully in a user startup file, not a system one, so intended for
 # the user to change.
 
-[[ -f ~/.bashrc ]] && . ~/.bashrc
+# History related options first, or else
+# we risk screwing up history history. And this is duplicated
+# in ~/.bash_profile just for good measure
+# history number. History expansion is good.
+PS4='$LINENO+ '
+# history file size limit, set to unlimited.
+# this needs to be different from the default because
+# default HISTFILESIZE is 500 and could clobber our history
+HISTFILESIZE=
+# max commands 1 session can append/read from history
+HISTSIZE=1000000
+# the time format display when doing the history command
+# also, setting this makes the history file record time
+# of each command as seconds from the epoch
+HISTTIMEFORMAT="%Y-%m-%d %I:%M %p "
+# consecutive duplicate lines dont go in history
+HISTCONTROL=ignoredups
+# works in addition to HISTCONTROL to do more flexible things
+# it could also do the same things as HISTCONTROL and thus replace it,
+# but meh. dunno why, but just " *" does glob expansion, so use [ ] to avoid it.
+HISTIGNORE='pass *:[ ]*:otp *:oathtool *'
+
 
+[[ -f ~/.bashrc ]] && . ~/.bashrc
 
-[[ -s "$HOME/.rvm/scripts/rvm" ]] && source "$HOME/.rvm/scripts/rvm" # Load RVM into a shell session *as a function*
+# ensure no bad programs appending to this file will have an affect
+return 0