# server_scripts Personal server scripts to automate stuff (mostly after new deployment of a server).