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

diff --git a/.bash_profile b/.bash_profile
index d3a6a8f..09b0001 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -11,6 +11,29 @@
 # it is purposefully in a user startup file, not a system one, so intended for
 # the user to change.
 
+# 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
 
 # ensure no bad programs appending to this file will have an affect