bash/bashrc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

# Don't do anything if not running interactively
if [[ -z "$PS1" ]]; then
    return
fi

# Keep plenty of history
HISTFILESIZE=1000000
HISTSIZE=1000000

# Ignore duplicate commands and whitespace in history
HISTCONTROL=ignoreboth

# Keep the times of the commands in history
HISTTIMEFORMAT='%F %T  '

# Don't tell me about mail
unset MAILCHECK

# Never beep at me
setterm -bfreq 0 &>/dev/null

# Turn off annoying and useless flow control keys
stty -ixon &>/dev/null

# Use completion, if available
if [[ -r /etc/bash_completion ]]; then
    source /etc/bash_completion
fi

# Load any supplementary scripts
if [[ -d "$HOME/.bashrc.d" ]]; then
    for file in $HOME/.bashrc.d/*; do
        source $file
    done
fi