34 lines
872 B
34 lines
872 B
#!/usr/bin/env bash |
|
|
|
# for PATH modifications, |
|
# see bash_profile |
|
|
|
##################################### |
|
# modified mathias |
|
|
|
# Make vim the default editor. |
|
export EDITOR='vim'; |
|
|
|
# Make Python use UTF-8 encoding for output to stdin, stdout, and stderr. |
|
export PYTHONIOENCODING='UTF-8'; |
|
|
|
# bash history settings |
|
HISTFILE="$HOME/.bash_history" |
|
|
|
# Increase Bash history size. Allow 32^3 entries; the default is 500. |
|
export HISTSIZE='32768'; |
|
export HISTFILESIZE="${HISTSIZE}"; |
|
|
|
# Omit duplicates and commands that begin with a space from history. |
|
export HISTCONTROL='ignoreboth'; |
|
HISTTIMEFORMAT=': %Y-%m-%d %H:%M:%S; ' |
|
|
|
# Prefer US English and use UTF-8. |
|
export LANG='en_US.UTF-8'; |
|
export LC_ALL='en_US.UTF-8'; |
|
|
|
# Highlight section titles in manual pages. |
|
export LESS_TERMCAP_md="${yellow}"; |
|
|
|
# Don’t clear the screen after quitting a manual page. |
|
export MANPAGER='less -X';
|
|
|