My BASH customizations.