About 13 results
Open links in new tab
  1. micro-editor.github.io
    https://micro-editor.github.io

    Micro - Home

    Terminal Emulator Run a real interactive shell from within micro. You could open up a split with code on one side and bash on the other -- all from within micro. And much more! Check out …

  2. micro-editor.github.io
    https://micro-editor.github.io › about.html

    Micro - About - GitHub Pages

    Micro is a terminal-based text editor that aims to be easy to use and intuitive, while also taking advantage of the full capabilities of modern terminals. It comes as one single, batteries …

  3. micro-editor.github.io
    https://micro-editor.github.io › plugins.html

    Micro - Plugins - GitHub Pages

    editorconfig 1.0.0 manipulator 1.4.0 Plugin to do various kind of modifications to text in Micro https://github.com/NicolaiSoeborg/manipulator-plugin text, manipulation, base64, rot13, …