Bash file modification