Various Bash scripts for getting, removing, replacing, etc. lines