A Bash script to replace a line in a file.