个人生产力工具是 MacBook Pro 13 inch,还有一部 iPhone 本身没有生产力但是配合 Mac 用还有一点。
操作系统当然是 OS X,虽然我也用 Virtual Box(里面供有无数 Linux 和 Windows)。这里的 Linux 发行版大多数是ubuntu,包括有轻量化 xfce 桌面的 lubuntu,也有一个 Fedora 和一个 CentOS。Virtual Box 还是很良心的,命令行工具
VBoxManage
很强大,headless mode 加上 ssh
转发很方便。
下面说的软件都是 OS X 上的。
Terminal 下面的工具有http://cloc.sourceforge.net(统计代码),http://ctags.sourceforge.net(编辑器会用到),
tree
(树形打印目录结构),tmux
(分屏),fasd
(相当于命令行里的浏览器地址栏),rlwrap
(给 stdin/out 套一层 readline)等。软件源当然是brew
,以上大部分都可以用 brew
安装。
最近我在用 Source Code Pro 字体作为终端和编辑器的主要字体。
目前主要用 Sublime Text 3 写代码。之前有用过 Atom,放弃 Atom 的主要原因是启动、响应和全局搜索速度都太慢了。至于 atom.io 被墙、编辑器 UI 风格太灰暗、对特殊符号没有高亮等等还是小问题。
我很少用 IDE,不过写 java,php 等还是要上 JetBrains 的产品。Xcode 基本闲置。有时候用 MATLAB。
写 Coq 用的是 http://proofgeneral.inf.ed.ac.uk(under
emacs
),这个在 OS X 下配起来有点小蛋疼,有问题的同学可以来交流。
可视化管理 repo 用 SourceTree。
平铺窗口用 Spectacle。
监控系统之前用 Colossus,不过有点点耗资源,现在又不用了。
用 Alfred 来快速启动、搜索等。
测试 REST API 用 Postman。
偶尔用lightheadsw.com/caffeine/ 防止(电脑,不是我)睡眠。
IRC 用 irccloud,除了网页版,这个 iOS 上还有 App,UI 很棒,而且是帮你在云端『挂号』,这样历史记录、被提到都可以知道。不过需要付费(5 美元一个月)。
管理、阅读 paper 用 Mendeley。看书直接 Preview,iBooks 基本闲置。
翻墙用 ss,所以需要 http://proxychains.sourceforge.net 转发终端流量,而且 spawn 的进程还不一定会被转发,需要一些使用技巧。
偶尔修图用 GIMP。
至于邮件客户端、笔记、聊天、浏览器、日历之类的完全是苹果自带的。虽然我也装了 Firefox Dev 和 Chrome。
墙内推荐用淘宝的
cnpm
作为 node 源.