长期使用 Shell 的程序员应该如何通过优化工作流来节约时间呢？我想可以从以下四点出发，一是提高任务并行度，通过 Job 控制 和 TMUX 配合；二是简化或优化命令，通过 Aliase 和 Dotfiles 去配置实现；三是远程访问；四是美化 Shell 界面，良好的 ui 也能极大提高工作效率。

据 Stack Overflow 2022 年统计，Visual Studio Code 是全平台最流行的编辑器，而 Vim 则是最流行的命令行文本编辑器。Vim 源于 1976 年的 Vi 编辑器，许多工具都支持 Vim 仿真模式（比如 Visual Studio Code），如果点进 Vim 官网，你会看到一个巨古老的界面，硬核气息可谓是扑面而来。

本文主要叙述了如何以脚本方式去使用 bash，并介绍了大量常用的 Shell 工具。很多工具并非系统自带，需要手动下载甚至手动配置，如果是 Mac OS 的话，使用 brew 一键安装即可。

6.Null 是 MIT 专为介绍常用计算机工具所开设的一门课程。我在过去的工作和学习过程中可能已经接触过 git、vim 等工具，也会使用一些简单的命令行指令比如 cd、cp、mv 等，但远远谈不上熟练。

本文涉及项目源于张天戈老师的高级软件开发技术课设，语言使用 Typescript，任务是对论文 Why Functional Programming Matters，中间有反复参考函数式编程的 术语 和 Typescript 的 文档。

TODO
客户端发送的命令会被 leader 包装成一个 entry 并添加到它的日志中，然后广播 append 消息让其他服务器复制日志。当 entry 被安全复制后，leader 上的复制状态机会应用其内部命令，并返回执行结果给客户端。另外，即使 leader 已经答复了客户端，为了满足一致性，也会对那些因为网络、奔溃或运行缓慢等而没成功复制日志的服务器重复发送 append 消息。服务器底层日志本质是一个 entry 数组，每个 entry 包含一条命令和 term（指代 entry 创建时所处的任期或者说接收到客户端命令的 leader 的任期）。