bash scripts for GNU/Linux