Contains scripts to simplify daily work.
You can load the shell scripts in your .bashrc by adding source <PATH TO SCRIPT> to it. For example:
source ./proxy_setter.sh
The functions inside are automatically loaded for every bash console and the functions can be called anytime.