*. micro--------------Micro is a terminal-based text editor that aims to be easy to use and intuitive, while also taking advantage of the full capabilitiesof modern terminals. It comes as one single, batteries-included, static binary with no dependencies, and you can download and use it right n...【阅读全文】