adapted to any linux lab machine
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
Merge branch 'master' of https://github.com/jcordry/dotfiles
filtered some useless aliases