zyedidia / micro

A modern and intuitive terminal-based text editor

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[Feature request] Editor update option

mdziczkowski opened this issue · comments

I wanted to request an option with would automatically check the repository for new version and:

  • notify about it
  • gives an option to update it, without the need to manually download and install / extract it