# bash_tools

Several easy scripts