GHOSCHT

Another OCaml connoisseur (at least semi-forced, as it looks like a university exercise).

Pretty much, yes. Although most of the guides install nix via curl. You can find the recommended installation procedure on the official nix website.

What I’m right now also realizing is that i switched things up. nix-shell -p curl creates a shell with the curl command temporarily available. If you exit this shell it’s gone. I use this all the time if if i don’t want to pollute my system with programs I only use once. If you want to permanently install something you have to use nix-env -iA nixpkgs.curl. But don’t take my words for granted, since I have never tested this on a non-nixos machine.

Note: You can also see how to install something by clicking on the package title in the nixpkgs repo.

Nixpkgs can be used without knowing anything about nix. You can install almost anything by just running e.g.:

nix-shell -p cowsay

The requirement for that is the nix package manager but that should be easy to install. But yeah getting into Nixos with flakes and all that stuff can be hard.

That’s probably the best Unixporn I’ve seen on Lemmy

I really love the term “toilet paper deployment”

Lidarr + Navidrome works flawlessly for me. Navidrome also fetches data from LastFM, such as tending songs and artist info

Right now Debian, but I’ll migrate to NixOS pretty soon since it’s already running on all of my machines except this server.

I followed this guide from VimJoyer and it works like a charm. Have been using this approach for quite a while now. It just uses raw nix with homemanager

It was the case for “made in Germany” which became a sign for high quality later on. I don’t really know about “made in China” though. I myself would rather associate it with lower quality stuff, although that really generalizes chinese products for the worst ones.

Looking really clean. Could you post your dotfiles as well?

What I hate so much more are the OpenAI captchas. Especially the goddamn rat ones

Piped always proxies. That’s also why it’s really unreliable every now and then. Google has already blocked some proxy servers

Pretty cool idea. The few lines of code also make it easy to rewrite in case you want to switch to wayland.

You can create a Duolingo class which you can then join yourself. This gets you unlimited hearts and no further ads on the mobile version (at least from my experience). Creating a class has no prerequisites so just try it out. If you still want to be able to view the public leaderboard there’s a setting for that in the classroom settings, but it’s disabled by default.

Edit: I’m not sure if there are any other ads besides the premium and family ones, I’m running PiHole so your mileage may vary. I’m only talking about those 2 which PiHole cannot block.

deleted by creator

Discord had this solved ages ago. Why did they have to ruin it?

Someone already has a project for that on GitHub. I haven’t tried it yet tho. The creator is also rewriting it to support other clients such as transmission and qbittorrent (v3 branch).

I can really recommend Anki to anyone who wants to try this. Such a good software

Dann, you can count those pixels

what about bar?