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
37
38
39
40

# 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
if command -v setterm &>/dev/null; then
    setterm -bfreq 0
fi

# Turn off annoying and useless flow control keys
if command -v stty &>/dev/null; then
    stty -ixon
fi

# 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