Update bash_extensions/basics