bash: abbreviation for bash header