comparison .bashrc @ 143:315bbb06066a

Let's put these here, for non-login shells as well
author Steve Huston <huston@astro.princeton.edu>
date Thu, 18 Aug 2016 12:46:06 -0400
parents 90f60047d5b4
children c9a2231b009d
comparison
equal deleted inserted replaced
142:90f60047d5b4 143:315bbb06066a
48 ;; 48 ;;
49 *) 49 *)
50 ;; 50 ;;
51 esac 51 esac
52 52
53 # Set some friendly options for history
54 # Append to ~/.bash_history, don't overwrite it
55 shopt -s histappend
56 # Set the history a bit larger, both on disk and in memory
57 export HISTFILESIZE=10000
58 export HISTSIZE=10000
59 # Ignore lines starting with a space, and duplicates of the previous command;
60 # also, if a line is a dupe from earlier history, remove the previous line
61 # entirely
62 export HISTCONTROL='ignoreboth:erasedups'
63 # Ignore some commonly used and not noteworthy commands
64 export HISTIGNORE='bg:fg:history:ret:keys'
65 # Put a timestamp on history lines
66 export HISTTIMEFORMAT='%F %T '
67 # Fold multi-line commands into a single line
68 # This seems to be 'on' in many places already, but let's make sure
69 shopt -s cmdhist
70
53 # 71 #
54 # Paths 72 # Paths
55 # 73 #
56 74
57 # A test for modules, to be implemented in time: 75 # A test for modules, to be implemented in time: