GalaxyForce
commented
4 years ago Linux Tools
Linux 下提高生产力的工具，HN 的回复中又获知了更多的有趣的工具。
Linux Productivity Tools (2019)
- https://www.usenix.org/sites/default/files/conference/protected-files/lisa19_maheshwari.pdf
- https://news.ycombinator.com/item?id=23229241
满足手写的需求了
- xournalpp： https://github.com/xournalpp/xournalpp
可以抛弃record my desktop 了
Shell
Shell 执行流程：