nikel@nikel-Kubuntu:~$ cat log.txt
cat: log.txt: No such file or directory
nikel@nikel-Kubuntu:~$ micro -version
Version: 0.0.0-unknown
nikel@nikel-Kubuntu:~$ ls
Desktop
Documents
Downloads
dump
girlyandi.py
Music
node-js-getting-started
Pictures
Public
Templates
Vaults
Videos
nikel@nikel-Kubuntu:~$ micro girlyandi.py
ctrl+q
nikel@nikel-Kubuntu:~$ ls
Desktop
Documents
Downloads
dump
girlyandi.py
log.txt
Music
node-js-getting-started
Pictures
Public
Templates
Vaults
Videos
nikel@nikel-Kubuntu:~$ cat log.txt
2020/08/06 20:28:57 Micro started
Commit hash: installed with apt
OS: Kubuntu 20.04
Terminal: Konsole
I recommend updating your version of micro because the version in the ubuntu repositories has a packaging problem and is old. There is a .deb file provided on the releases page which is up-to-date and simple to install (just download it and run sudo apt install ./micro-2.0.6-amd64.deb).
Thanks! Why don't you make your own PPA? This is very convenient for users because updates are downloaded automatically.
I ran into this, too. I setup a new device running Ubuntu recently and decided to give it a try from the repos. Now I remember why I've been using a shell script for a couple years now that grabs the latest version of the binary from GitHub if it finds a newer version. There's no arm64 .deb, but since I have that script, it's really not an issue for me, personally.
There's actually an "official" download script which does what you described at https://github.com/benweissmann/getmic.ro. You can use it by running curl https://getmic.ro | bash (the nice domain name makes it handy).
Most helpful comment
There's actually an "official" download script which does what you described at https://github.com/benweissmann/getmic.ro. You can use it by running
curl https://getmic.ro | bash(the nice domain name makes it handy).