📄 makeover
字号:
#!/bin/bashgawk '/<div class="toc">/ { print $0 getline #TODO: check this is the <ul> line print $0 print "<li><a href=\".\">PBC Library Manual</a></li>" getline while (!match($0, "</div>")) { print $0 getline } print "</div>" exit}' < pretty/index.html > toc.tmpfor a in pretty/*.htmldo if [ $a != "pretty/index.html" ] then#add " - PBC" to titles of all pages sed '/<\/title>/ s/<\/title>/ - PBC&/' -i $a sed '/<body/{n; r toc.tmpa <div class="content">} ' -i $a sed '/^<\/body/i </div>' -i $a fidonegawk '/<div class="book"/ { i = 0 for(;;) { getline if (match($0, "<div")) i++; else if (match($0, "</div")) { i--; if (i < 0) break; } } sub("</div>","")}{ print }' < pretty/index.html | sed '/<body/{n; r toc.tmpa <div class="content">r index.htmla </div>} ' > tmp.tmpmv tmp.tmp pretty/index.htmlrm toc.tmp
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -