$ sudo apt remove micro
$ sudo apt install curl
$ curl https://getmic.ro | bash
$ sudo mv micro /usr/bin/micro