more notes on BASH