X-Git-Url: https://iankelling.org/git/?a=blobdiff_plain;f=.bash_profile;h=09b0001a7b43bf003462fa5cb9f95328ca5d605f;hb=77917a8fbf2032a8b2634a1b3de0879ec45cf213;hp=cd422cba77f0ddc919ffa47e510d318bd7868412;hpb=f95f9128ba77e77d41389810affd475581075246;p=distro-setup

diff --git a/.bash_profile b/.bash_profile
index cd422cb..09b0001 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -11,10 +11,30 @@
 # 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
 return 0
-
-
-export PATH="$HOME/.cargo/bin:$PATH"