r/Nix

▲ 8 r/Nix+1 crossposts

ELI5: Why do we use fixed point recursion? How would you explain it what it is?

Hi all, I have studied Kleene fixed point theorem during my CompEng bachelor but it passed a bit of time, so I need a refresh. I read that we use a fixed point recursion in Nix for instance to import nixpkgs, and (perhaps?) to use overlay and overrides. I tried reading this beautiful post by layus but it only partially "clicked". How would you explain fixed point recursion, and why it is important in Nix, especially in the nixpkgs case? Thanks!

reddit.com
u/alessandrobertulli — 6 days ago
▲ 2 r/Nix+1 crossposts

Need Help Since I’m new to NixOS.

I’ve used Linux for a while now Pop is, Fedora, lately CachyOS. Now since now I’m moving onto a more professional path i needed something unbreakable and i found Nix. But I’ve been struggling with…. Tbh I don’t know what I’m supposed to do after I installed NixOS. I’ve searched YouTube didn’t find much useful videos. Idk if it’s my search or not.

Please help me since I don’t know what to do now.

I’m on my laptop MSI Katana 15HX B14WGK I714650HX RTX5070 16GB DDR5 RAM 1TB NVME.

reddit.com
u/fahimfardosh — 7 days ago
▲ 3 r/Nix

How to configure Librewolf with home manager?

I am at the last stage of writing my nix-darwin configs: configuring the browser’s extensions. I know it’s a bit extreme but since I have come this far I thought that I might as well go the extra mile. I have some questions regarding this:

  1. Is there any differences between configuring with “.settings” vs “.policies”?

  2. Why do I see some people install extensions using “.policies.ExtensionSettings” rather than just use “.Extensions”? Is there any wrong with NUR? This question is related to number 3 because the example in number 3 commented out the .extension part in favour of .policies.

  3. Are there any examples of Nix configs for Ublock Origin? I have only managed to find this so far. Is it necessary to add “importedLists” and “externalLists” or can I just drop the URL of a filter in “selectedFilterLists”?

Much thanks in advance for answering!

reddit.com
u/dancerinthelimelight — 7 days ago
▲ 13 r/Nix

Is it OK now to install GUI apps with Nix on MacOS or is it still advisable to use Homebrew instead?

I am setting up nix-darwin on my new Macbook and I’m wondering:

  1. As the title the says: if it is OK to install GUI apps with Nix now since the symlink issue is fixed.

  2. How do I know whether or not a package is available for nix-darwin? I mean I can look up Nix search but then I only know that the package can be installed on Linux, no guarantee for Mac.

I am planning to install certain GUI apps like Anki, LibreWolf, Ghostty, etc. Apparently Ghostty has been broken on nix-darwin for 2 years now…

u/dancerinthelimelight — 9 days ago
▲ 0 r/Nix+1 crossposts

Tried to install Nix twice with two different USBs and need help

Tried twice and failed both times. The USBs on windows cant be formatted. Tried changing the drive letters and updating drivers but no dice. Just built this rig today too.

u/PoiZenBoi — 12 days ago
▲ 15 r/Nix+1 crossposts

AstroImageJ packaged for NixOS!

Hi y'all. I am an aspiring astronomer who does a lot of work with FITS files and AstroImageJ, but sadly, I couldn't find it anywhere in nixpkgs, nor could I find a flake on the net. So, I decided to make my own! You can find it here: https://github.com/pokemans123/astroimagej-flake .

This was my first time packaging something for nix, so if there's something I'm doing wrong please let me know! Also, I'd love to be able to make a PR on nixpkgs and get it merged there, so let me know what changes I'd have to make to the repo. I've read the How to Contribute section on the repo, but its still really unclear to me. Any advice or help welcome!

reddit.com
u/Past-Combination6262 — 9 days ago
▲ 2 r/Nix

Problems with desktop apps installed with Nix on Debian

I've installed nix on debian, but I'm struggling with certain applications.

I've tried a few apps for playing music from spotify, but it seems it fails to initialize the sound system. I'm getting some error messages related to ALSA.

I also notice that electron apps fail to start. This time with reference to Mesa.

Is there a configuration option or some program I need to install in order to fix these issues?

reddit.com
u/skinney — 11 days ago