mini-bash bash functions for all users of computer/server to use bash <(wget -qO- https://raw.githubusercontent.com/mjgil/mini-bash/master/install-global.sh)