Updated at Feb 2, 2017

我的个人生产力工具是 MacBook Pro 13 inch(工作上正在用 Linux 机器),还有一部 iPhone 本身没有生产力但是配合 Mac 用还有一点。

操作系统当然是 OS X,虽然我也用 Virtual Box(里面供有无数 Linux 和 Windows)。这里的 Linux 发行版大多数是 Ubuntu,包含 Lubuntu (LXDE) 和 Xubuntu (XFCE),也时有 FedoraCentOS。Virtual Box 还是很良心的,命令行工具 VBoxManage 很强大,headless mode 加上 ssh 转发很方便。更多相关配置经验可见这里

下面说的软件都是 OS X 本机上的。

终端是系统自己的 Terminal,外带用 ohmyzsh 默认主题的 zshemacs 有自己的 dotfiles 配置,包括 emacs-color-theme-solarize 主题,拓展 math-symbol-lists 等。

Terminal 下面的工具有 cloc(统计代码),ctags(编辑器会用到),tree(树形打印目录结构),tmux(分屏),fasd(相当于命令行里的浏览器地址栏),rlwrap(给 stdin/out 套一层 readline)等。软件源当然是 brew,以上大部分都可以用 brew 安装。

最近我在用 Source Code Pro 字体作为终端和编辑器的主要字体。

目前主要用 Sublime Text 3 写 Haskell 和 Rust。之前有用过 Atom,放弃 Atom 的主要原因是启动、响应和全局搜索速度都太慢了。至于 atom.io 被墙、编辑器 UI 风格太灰暗、对特殊符号没有高亮等等还是小问题。

我很少用 IDE,不过写 Java 还是要上 IntelliJ IDEA 。Xcode 基本闲置。有时候用 MATLAB。

写 Coq 用的是 Proof General(under emacs)。

Haskell 用 Haskell Platform 便于全局 ghci 以及写小程序;工程用 stack 管理。

可视化管理 repo 用 SourceTree

平铺窗口用 Spectacle

监控系统之前用 Colossus,不过有点点耗资源,长时间移动使用时一般关掉。

Alfred 来快速启动、搜索等。

测试 REST API 用 Postman

偶尔用 Caffeine 防止(电脑,不是我)睡眠。

订阅了 Microsoft Office 365。

IRC 用 irccloud,除了网页版,这个 iOS 上还有 App,UI 很棒,而且是帮你在云端『挂号』,这样历史记录、被提到都可以知道。不过需要付费(5 美元一个月)。

管理、阅读 paper 用 Mendeley。看书直接 Preview,iBooks 基本闲置。

翻墙用 ss 和一般 VPN 协议,所以需要 proxychains 转发终端流量,而且 spawn 的进程还不一定会被转发需要一些使用技巧。ss 流量感觉相比 L2TP 不容易被识别。

博客用 Jekyll 生成托管在 Github Pages 上,个人页面用的是 DO 在三藩市的 droplet。域名在 godaddy 托管。

偶尔修图用 GIMP

写 markdown 用 MacDown。有时候从 MacDown 输出 pdf,正式一点的用 pandoc 输出成 pdf,这方面也有一些使用技巧。TeX Live Dist 是 MacTex

至于笔记、浏览器、日历之类的完全是苹果自带的。虽然我也装了 Firefox Dev 和 Chrome。

邮件客户端在用 Airmail 3.

解释器方面,Python 推荐另外安一个 iPython;OCaml 不要用自带的 ocaml,有一个很厉害的 utop 可以用。

墙内推荐用淘宝的 cnpm 作为 node 源。