.bashrc

# 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

# 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

# If set, the pattern "**" used in a pathname expansion context will
# match all files and zero or more directories and subdirectories.
#shopt -s globstar

# make less more friendly for non-text input files, see lesspipe(1)
[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"

# enable color support of ls and also add handy aliases
if [ -x /usr/bin/dircolors ]; then
    test -r ~/.dircolors && eval "$(dircolors -b ~/.dircolors)" || eval "$(dircolors -b)"
    alias ls='ls --color=auto'
    alias grep='grep --color=auto'
fi


PS1='\[\e[1;31m\]DOCKER:\w#\[\e[m\] '

alias gl="git branch; git log --oneline | head"
alias ll='ls -alF'

# Jumping between the most frequent directories must be fast
alias ..="cd .."
alias ...="cd ../.."
alias ....="cd ../../.."
alias cdl="cd /line-collision-detector/"
alias cdll="cd /line-collision-detector/linc/"
alias cdlle="cd /line-collision-detector/linc/extern/"
alias cdlll="cd /line-collision-detector/linc/linc/"
# cd to previous directory in bash is `cd -`. Avoid the need for space.
alias cd-="cd -"
alias u="cd .."
alias d="cd linc"


# Run shell scripts from any dir, no need to cd
PATH=$PATH:/line-collision-detector

# Avoid having to write .sh for frequently used scripts
alias tidy="tidy.sh"
alias indent="indent.sh"
alias make-compilation-database="make-compilation-database.sh"
alias faster="faster.sh"

# Some vim specific stuff
alias bv="bv.sh"
alias v="vim"
alias t="t.sh"