I tried it but I got tired of overheating and constant fan spinning, I tried to go the vanilla route then with mbfan (or whatever it’s called) and I was never able to reproduce a level of quietness comparable to MacOS so I went back.

I use atuin (link) all the time

That’s odd, I have two different hosting accounts there and never had an issue with their SMS codes. Please update your post to tell others were you ended up!

Why can’t you? Fake number?

Well I tried! I ended up using micro though

Thanks for the write up @Guenther_Amanita@feddit.de ! That will guide my further distro hopping I wanted to know what you meant by ‘outdated’ regarding Pop!_OS? What’s wrong with it?

Damn 12K GitHub stars? Why am I discovering this only now? I need to refine my discovery habits

Same, I’ve been very fond of it so far! Though I’m curious about what this has to offer.

Never heard of it before, I’ll test it out! Thanks for the tip

I like it too but I wish they would stop harrasing you with their database update, it’s so annoying!

That’s exactly how I thought, I’m not a dev myself but are there really people who might use a font like this to code?

Quick heads up: I tried to setup the plugin for a Nextcloud WebDAV service I use and couldn’t succeed to a misconfig on the server side or a bug in the plugin. That’s too much of a hassle to switch, if someone has a better option please chime in.

Thanks, I will have a look at this. I assume you didn’t ran into any sync issues since you started using this, right?

Can we can that one synced without having to pay something?

I remember that the only workaround available was something like folder setup on mobile which in turn had to be synced with another app in order to ensure WebDAV sync for instance.

Needless to say that this is really inefficient.