Another OCaml connoisseur (at least semi-forced, as it looks like a university exercise).
Another OCaml connoisseur (at least semi-forced, as it looks like a university exercise).
How good are they compared to Haribo? The candy in the picture looks pretty normal to me.
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
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.
It’s not really a menu item, but I love Obatzda
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.
Is NVMe really cheaper? I thought SATA was the cheaper one.
Come on. C++ isn’t thaaat bad. It’s actually kind of nice to use coming from C.
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.
And Guild Wars 2 is nowadays also on Steam, making it even easier to get into it. Note for anyone who previously played GW2 before it came to Steam: You can also use the Steam version if you add “-provider Portal” as a launch parameter.
Looks amazing, especially adaptive Firefox and GTK.