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 1/1] 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