From 58a81de3fd19f05e7b213502bd5d22cf70505f15 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sun, 14 Apr 2019 01:15:57 -0400
Subject: [PATCH] bash: history-related tweaks

---
 .bashrc | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/.bashrc b/.bashrc
index a2763dc..cce2dc8 100644
--- a/.bashrc
+++ b/.bashrc
@@ -1,5 +1,12 @@
-# If not running interactively, don't do anything
-# [[ $- != *i* ]] && return
+# various bash tweaks
+shopt -s histappend
+shopt -s cmdhist
+HISTSIZE=
+HISTFILESIZE=
+HISTCONTROL=ignoreboth
+HISTIGNORE='ls:l:s:bg:fg:history'
+HISTTIMEFORMAT='%F %T '
+stty stop ""
 
 # aliases
 alias ls='ls --color=auto'
@@ -21,6 +28,10 @@ aur() {
 # echo -e "\033[5 q"              # blinking
 echo -e "\033[6 q"              # non-blinking
 
+
+# If not running interactively, don't do anything else
+[[ $- != *i* ]] && return
+
 a_prompt() {
     cwd=$(pwd | sed -e "s!$HOME!~!" | sed -re "s!([^/])[^/]+/!\1/!g")
     printf $cwd
-- 
2.20.1