# Scripts

General useful scripts (mostly for Linux)