Bash local
Merge branch 'master' of https://github.com/tonicebrian/bash-config
Merge branch 'master' of https://github.com/tonicebrian/bash-config

* 'master' of https://github.com/tonicebrian/bash-config:
  Added more conditions to gitignore
Merge branch 'master' of https://github.com/tonicebrian/bash-config

* 'master' of https://github.com/tonicebrian/bash-config:
  Tmux uses mouse now
  Added plugins for sbt
  Changing one option in gitconfig
  Refactor some functions
  Changed name of dircolors configuration
  Fixed some install config scripts
  Changed execution permissions
  Added the installConfig.py script
  Git config
  SSH config client
  Added the bash_extensions
  Changed lang to english in console
Literate programming in Haskell