|
Lean4-nix for building Lean projects
|
|
0
|
60
|
December 23, 2025
|
|
`nix-shell -p` fails with "undefined variable"
|
|
7
|
63
|
December 23, 2025
|
|
Boot.initrd.systemd unlock LUKS with USB/IP attached passkey
|
|
3
|
66
|
December 23, 2025
|
|
Quadlet-nix units won't start
|
|
1
|
29
|
December 23, 2025
|
|
Bambu-studio: any working method?
|
|
27
|
1995
|
December 23, 2025
|
|
Manifest2Nix.jl, a build tool for Julia
|
|
0
|
45
|
December 23, 2025
|
|
My experience and reasons using Flatpak on NixOS
|
|
9
|
5016
|
December 23, 2025
|
|
Task manager icons keeps disappearing
|
|
2
|
37
|
December 23, 2025
|
|
How to use Beetcamp as Beets plugin
|
|
6
|
84
|
December 23, 2025
|
|
Backport a bunch of merged PRs into release-25.11
|
|
1
|
83
|
December 23, 2025
|
|
Webcam not detected on xps 15 9510
|
|
0
|
11
|
December 23, 2025
|
|
Syncthing doesn't apply umask
|
|
3
|
40
|
December 23, 2025
|
|
No love for GNOME?
|
|
19
|
748
|
December 23, 2025
|
|
Signal-desktop -- how to upgrade to latest?
|
|
29
|
6068
|
December 22, 2025
|
|
Font change not working with install terminal
|
|
0
|
14
|
December 22, 2025
|
|
Graphics glitches in GNOME apps
|
|
9
|
79
|
December 22, 2025
|
|
Installing NixOS made Windows disappear from boot menu
|
|
1
|
46
|
December 22, 2025
|
|
How do you create your own flake check?
|
|
7
|
3077
|
December 22, 2025
|
|
Sequoia PGP on Home Manager
|
|
8
|
139
|
December 22, 2025
|
|
Nixvim avante plugin setup help
|
|
8
|
69
|
December 22, 2025
|
|
Wrapping node packages
|
|
3
|
48
|
December 22, 2025
|
|
How to install libsForQt5.oxygen in NixOS 25.11?
|
|
2
|
36
|
December 22, 2025
|
|
Export QML2_IMPORT_PATH=$QML2_IMPORT_PATH:
|
|
0
|
12
|
December 22, 2025
|
|
1password xwayland failing unlock system authentication
|
|
1
|
34
|
December 22, 2025
|
|
Zoom-us Wayland Screen Sharing Fix?
|
|
23
|
4387
|
December 22, 2025
|
|
Login Keyring did not get unlocked - Hyprland
|
|
26
|
9818
|
December 22, 2025
|
|
Oracle Free Tier Networking Problems
|
|
3
|
124
|
December 22, 2025
|
|
Why is locate suddenly giving me permission denied?
|
|
2
|
87
|
December 22, 2025
|
|
Missing "kernel namespaces that are required for sandboxing" when rebuilding for a remote Rasberry Pi 3B
|
|
35
|
296
|
December 22, 2025
|
|
Need some sops help
|
|
4
|
80
|
December 22, 2025
|