X-Git-Url: https://iankelling.org/git/?a=blobdiff_plain;f=.bash_profile;h=09b0001a7b43bf003462fa5cb9f95328ca5d605f;hb=7f759d320592e791a62cd0a966350e8c53ee0976;hp=a2254a1b49a06e98062dc76f79ff4e69b855e45e;hpb=7ead7bbf5d3994d60aefaeb2386bd23ebc7d5f57;p=distro-setup

diff --git a/.bash_profile b/.bash_profile
index a2254a1..09b0001 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -11,4 +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