sed编辑器与awk（很实用的工具）