BASH scripts for GNU/Linux systems