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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
# ~/.bashrc: executed by bash(1) for non-login shells.
#
# Bash history and shell options
#
# if not running interactively, don't do anything
[ -z "$PS1" ] && return
# don't put duplicate lines or lines starting with space in the history.
# See bash(1) for more options
HISTCONTROL=ignoreboth
# append to the history file, don't overwrite it
shopt -s histappend
# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
HISTSIZE=1000
HISTFILESIZE=2000
# check the window size after each command and, if necessary,
# update the values of LINES and COLUMNS.
shopt -s checkwinsize
# make less more friendly for non-text input files, see lesspipe(1)
#[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"
# enable programmable completion features (you don't need to enable
# this, if it's already enabled in /etc/bash.bashrc and /etc/profile
# sources /etc/bash.bashrc).
if [ -f /etc/bash_completion ] && ! shopt -oq posix; then
. /etc/bash_completion
fi
#
# Setting PS1
#
# set variable identifying the chroot you work in (used in the prompt below)
if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then
debian_chroot=$(cat /etc/debian_chroot)
fi
# comment for uncolored terminal
color_prompt=yes
if [ $UID -eq 0 ]; then
USERCOLOR="\[\e[01;31m\]" # Red if running as root
INDICATOR="#"
else
USERCOLOR="\[\e[01;32m\]" # Green otherwise
INDICATOR="$"
fi
if [ "$color_prompt" = yes ]; then
PS1="${debian_chroot:+($debian_chroot)}$USERCOLOR\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$INDICATOR "
else
PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$INDICATOR '
fi
unset color_prompt
#
# Aliases
#
# enable color support of ls and grep
if [ -x /usr/bin/dircolors ]; then
test -r ~/.dircolors && eval "$(dircolors -b ~/.dircolors)" || eval "$(dircolors -b)"
alias ls='ls --color=auto'
#alias dir='dir --color=auto'
#alias vdir='vdir --color=auto'
alias grep='grep --color=auto'
alias fgrep='fgrep --color=auto'
alias egrep='egrep --color=auto'
fi
# ls shortcuts
alias ll='ls -alFh'
alias la='ls -A'
alias l='ls -CF'
alias lsg='git ls-files'
# ssh shortcuts for multivac
alias smv='ssh mv -tt screen -Uxr'
alias mvv='mosh mv -p 8215 -- screen -Uxr'
# more alias fancyness
alias cdhere='cd $(realpath $(pwd))'
alias ocaml='rlwrap ocaml'
alias c='xclip -i -selection clipboard'
alias vimdiff='vim -d -c "colorscheme desert"'
alias ydiff='diff -y -W 196 --left-column'
alias v='gpicview'
function tm () {
`which time` -f %e $* > /dev/null
}
# Add an "alert" alias for long running commands. Use like so:
# sleep 10; alert
alias alert='notify-send --urgency=low -i "$([ $? = 0 ] && echo terminal || echo error)" "$(history|tail -n1|sed -e '\''s/^\s*[0-9]\+\s*//;s/[;&|]\s*alert$//'\'')"'
# syntax-highlighted cat
alias pcat="pygmentize -f terminal256 -O style=native -g"
#
# Environment
#
export TERM="xterm-256color"
export LC_ALL="en_US.UTF-8"
export LANG="$LC_ALL"
export EDITOR=vim
export PATH=$PATH:$HOME/.local/bin
#
# local, installation-specific config
#
[ -f ~/.bashrc_local ] && . ~/.bashrc_local