欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Sed
来自开放百科 - 灰狐
Sed用法
1. 將 filename 檔案內的 Giga 字串取代成 GigaRama
sed s/Giga/GigaRama/ filename
2. 將 filename 檔案內的 xfish 字串那一行刪除
sed /xfish/d filename
3. 指定哪一行,將之刪除
sed '4d' filename
4. 或指定第一行到第幾行,將之刪除
sed '1,4d' filename
5. 將第一行到第五行印出
sed -n 1,5p filename
6. 將 file 檔案內的出現 xfish 字串的那一行單獨寫到 file2 內
sed -n '/xfish/w file2' file
7. 萬用字元的使用,將 file 檔案內的 xfis? 哪一行寫到 file2 內
sed '/xfis./w file2' file
8. 萬用字串的使用,將 file 檔案內的 xfis* 哪一行寫到 file2 內
sed '/xfis*/w file2' file
9. 選定字元的使用,將 file 檔案內的 xfis[abcd] 哪一行寫到 file2 內
sed '/xfis[abcd]/w file2' file
10. 特別符號的取消,利用 /
sed s/\<title\>/\<TITLE\>/ file
11. 一行的起頭的取代,將 file 檔案的每一行起頭都加上 Hi..
sed s/^/Hi.. / file
12. 一行的結尾的取代,將 file 檔案的每一行結尾都加上 Hi..
sed s/$/Hi.. / file
13. 多重條件的指定,利用 -e 選項
sed -e 's/Giga/GigaRama/' -e 's/^/Hi../' file
分享您的观点