Bash: any command to replace strings in text files? Bash: any command to replace strings in text files? shell shell