discord-if-distinct now supports colors and paging.

new "block" option to force block display even if no color.
2023-09-01 18:16:02 +00:00
parent c2b936fb7e
commit 136294836a
3 changed files with 48 additions and 5 deletions
@@ -104,7 +104,7 @@ shopt -s histappend         # append to the history file, don't overwrite it
 HISTSIZE=10000              # cache    the last  10,000 commands
 HISTFILESIZE=100000         # remember the last 100,000 commands
 HISTCONTROL="ignoredups"    # ignore duplicates
-HISTIGNORE="l:la:ll:ls *:clear:history:pwd" # ignore select simple commands
+HISTIGNORE="l:la:ll:ls:cd:clear:history:pwd" # ignore select simple commands
 HISTFILE="${HOME}/.bash_history/$(tty | sed 's/\//-/g;s/^-//g')"    # bash_history as folder split by tty

 # if we have already sourced this file, don't do it again