2012-10-08

杂记 20121008 | Misc Notes 20121008

1. 添加新的MANPATH的正确方法
MANPATH=NEWPATH:$(manpath)

2. 如果DOCTYPE前面有注释,IE9就会进入暴走模式
感谢W3C Validator
3. 删除远端git分支
git push origin :1234

4. 删除远端git标签
git push origin :refs/tags/1234



1. The correct way to add a new MANPATH:
MANPATH=NEWPATH:$(manpath)
From http://ubuntuforums.org/showthread.php?t=1180950

2. IE9 would go into the quirks mode, if there is any comment before DOCTYPE
Thanks to W3C Validator

3. To remove a remote git branch:
git push origin :1234

4. To remove a remote git tag:
git push origin :refs/tags/1234