Linux: Micro CLI editor

Date: 2020-11-12

https://micro-editor.github.io/

  • Mouse support
  • Cut/copy/paste with CTRL-X/C/V
  • Quit with CTRL-Q
  • Save with CTRL-S
  • Find with CTRL-F
  • Find next with CTRL-N
  • Multi cursor support

Options / settings: https://github.com/zyedidia/micro/blob/master/runtime/help/options.md

# configure settings with CTRL+E
# set the clipboard to terminal compatible
set clipboard terminal

# Set the filetype with: CRTL+E
set filetype php # PHP
set filetype conf # Config/ini syntax

For a list of available filetypes see: https://github.com/zyedidia/micro/tree/35375a6ea21281d327177a767b5bce45b0afdce4/runtime/syntax

42510cookie-checkLinux: Micro CLI editor