[bash] tweaks