2016-09-04 13:58:13 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
# Bash aliases, interpreted by ~/.bashrc
|
|
|
|
|
|
|
|
|
|
# Import this machine's local aliases
|
|
|
|
|
[ -f ~/.bash_localiases ] && source ~/.bash_localiases
|
|
|
|
|
|
|
|
|
|
alias ls='ls --color=auto'
|
|
|
|
|
alias grep='grep --color=auto'
|
|
|
|
|
alias ll='ls -lAh'
|
|
|
|
|
|
|
|
|
|
alias vi='vim'
|
|
|
|
|
|
|
|
|
|
alias g++std='g++ -Wall -Wextra -O2 -std=c++11'
|
|
|
|
|
alias g++dbg='g++ -Wall -Wextra -g -DDEBUG -std=c++11'
|
|
|
|
|
alias g++nazi='g++ -Wall -Wextra -pedantic -std=c++11 -O0'
|
|
|
|
|
alias gccstd='gcc -Wall -Wextra -O2'
|
|
|
|
|
alias gccdbg='gcc -Wall -Wextra -O0 -DDEBUG -g'
|
|
|
|
|
alias gccnazi='gcc -Wall -Wextra -pedantic -O0'
|
|
|
|
|
alias obc='obuild configure'
|
|
|
|
|
alias obb='obuild build'
|
|
|
|
|
alias obi='obuild install'
|
|
|
|
|
alias obbi='obuild build && obuild install'
|
|
|
|
|
alias obcb='obuild configure && obuild build'
|
|
|
|
|
alias obcbi='obuild configure && obuild build && obuild install'
|
2016-10-31 16:51:09 +01:00
|
|
|
alias venv='source venv/bin/activate'
|
2016-09-04 13:58:13 +02:00
|
|
|
|
|
|
|
|
alias ocaml="/usr/bin/rlwrap ocaml"
|
|
|
|
|
alias coqtop="/usr/bin/rlwrap coqtop"
|
|
|
|
|
|
|
|
|
|
alias cpufreq='watch grep \"cpu MHz\" /proc/cpuinfo'
|
|
|
|
|
|
|
|
|
|
alias xclipboard='xclip -selection clipboard'
|
|
|
|
|
|
|
|
|
|
alias wine_pulse='PULSE_LATENCY_MSEC=60 wine'
|
|
|
|
|
|
2016-10-12 15:59:17 +02:00
|
|
|
alias ssh-forgetful='ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no'
|
