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