That’s a great tip, thanks! I knew about collections to import extensions from desktop but not that one!

Thanks! So I understand that we have to manually install the xpi from here 👌

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 understand better now, thanks

Thanks, I meant in the Github repo you linked.

Besides I’m missing many if the functions that I see in the screenshots and description, is 1.2 indeed the latest release?

Screenshots would be nice

Thanks… But no HTTPS?

Thanks but

We are targeting a first Alpha release for early adopters in 2026.

We need an alternative before that

error 404: 'Page not found'

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

Do you know if you could do something similar with something like Ferdium?

Seconded, also bring those laptops to more countries than those who’re available now.

I’m pretty sure it’s cock.li instead of cocks.li

deleted by creator

Haha, great times! That happened to me as well and then I realized that it’s way better when it’s curated

Nerdfonts are wonderful, they are my sole source for everything on my terminal(s).

…and I didn’t know about this designer, there’s some solid stuff there, thanks!

This little trick works for popular fonts indeed. It might help others