Shell

从csh切换到zsh已经很久了，但是有时候他会很慢，甚至是在ctrl+c的时候，看了一下，主要的时间都是去检查git状态了，反正这个功能不是特别需要，就关掉好了。

为了科学上网，访问github之类的快一些，总要在命令行工具下用代理，于是就有了如下设定

1
2
3
4
5

# Setup commandline proxy
_proxy="http://127.0.0.1:16888"
_noproxy="localhost,.sina.com.cn,.weibo.com"
alias proxyon="export http_proxy=${_proxy} https_proxy=${_proxy} no_proxy=${_noproxy}"
alias proxyoff="unset http_proxy https_proxy no_proxy"

这个no_proxy是为了让本地内网的repo不要走代理.sina.com.cn代表了该域名下的内容都不走代理。

前天的一个事儿，在这儿计一笔。

后台执行的脚本在shell退出的时候也会退出，所以退出shell后还要继续后台进程就要加nohup，但是在bash下不是完全按照这个来的，如果bash正常退出，他不会向后台进程发SIGHUP，如果异常退出，比如ssh连接因超时中断，bash进程本身收到SIGHUP等等，就会发SIGHUP给后台进程了。 Ref: