Some bash scripts to edit text