编辑器

《开源精选》是我们分享Github、Gitee等开源社区中优质项目的栏目，包括技术、学习、实用与各种有趣的内容。本期推荐的micro是一个基于终端的文本编辑器，旨在易于使用和直观，…