updating BASH in Linux document