Mercurial > index.cgi > dotfiles

comparison .bash_profile @ 142:90f60047d5b4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Set a bunch of history-friendly options
author Steve Huston <huston@astro.princeton.edu>
date Thu, 18 Aug 2016 12:35:16 -0400
parents 3f1ead4ba8b4
children 315bbb06066a
comparison
equal deleted inserted replaced
141:ef534933ab04 142:90f60047d5b4
65 if [ "`hg -q tip | sed 's/.*://'`" != "`hg -q id | sed 's/\+//'`" ] ; then 65 if [ "`hg -q tip | sed 's/.*://'`" != "`hg -q id | sed 's/\+//'`" ] ; then
66 echo Local repository contains updates. 66 echo Local repository contains updates.
67 fi 67 fi
68 hg status 68 hg status
69 69
70 # Set some friendly options for history
71 # Append to ~/.bash_history, don't overwrite it
72 shopt -s histappend
73 # Set the history a bit larger, both on disk and in memory
74 export HISTFILESIZE=10000
75 export HISTSIZE=10000
76 # Ignore lines starting with a space, and duplicates of the previous command;
77 # also, if a line is a dupe from earlier history, remove the previous line
78 # entirely
79 export HISTCONTROL='ignoreboth:erasedups'
80 # Ignore some commonly used and not noteworthy commands
81 export HISTIGNORE='bg:fg:history:ret:keys'
82 # Put a timestamp on history lines
83 export HISTTIMEFORMAT='%F %T '
84 # Fold multi-line commands into a single line
85 # This seems to be 'on' in many places already, but let's make sure
86 shopt -s cmdhist
87
70 [[ $HOST == cake && "`tty`" == "/dev/tty1" ]] && { 88 [[ $HOST == cake && "`tty`" == "/dev/tty1" ]] && {
71 # We're on the Raspberry Pi 89 # We're on the Raspberry Pi
72 export SDL_NOMOUSE=1 90 export SDL_NOMOUSE=1
73 if [ ! -e /dev/input/js0 ] ; then 91 if [ ! -e /dev/input/js0 ] ; then
74 # PS3 controller isn't paired yet 92 # PS3 controller isn't paired yet