Experimental NixOS repo
Find a file
2023-07-02 16:37:58 +02:00
doc flake: pull in changes from digga upstream 2023-03-27 13:48:39 +02:00
hosts Run treefmt command 2022-11-20 23:28:23 +01:00
lib flake: pull in changes from digga upstream 2023-03-27 13:48:39 +02:00
modules neovim: use nixd as nix language server 2023-07-02 15:57:00 +02:00
overlays neovim: use nixd as nix language server 2023-07-02 15:57:00 +02:00
pkgs Merge branch main into origin/nixos-23.05 2023-06-28 19:20:11 +02:00
profiles Merge branch main into origin/nixos-23.05 2023-06-28 19:20:11 +02:00
secrets Run treefmt command 2022-11-20 23:28:23 +01:00
shell devshell: stash only unstaged changes in pre-commit hook 2023-07-02 16:37:58 +02:00
tests Merge branch main into origin/nixos-23.05 2023-06-28 19:20:11 +02:00
users Run treefmt command 2022-11-20 23:28:23 +01:00
.drone.yml ci: upload ISO images to bigger /data disk 2023-03-05 23:59:24 +01:00
.editorconfig editorconfig: fixup 2020-12-30 01:00:12 -07:00
.envrc direnv: update envrc 2022-04-30 15:58:00 +02:00
.git-blame-ignore-revs Ignore treefmt commit 2022-11-20 23:30:58 +01:00
.gitignore modules: remove redundant server module, SSH is enabled in core profile, too 2021-10-23 23:28:42 +02:00
bors.toml bors.toml: don't delete merged branches 2021-05-14 22:49:39 -07:00
CHANGELOG.md Run treefmt command 2022-11-20 23:28:23 +01:00
COPYING init 2019-12-02 22:18:30 -07:00
default.nix flake: pull in changes from digga upstream 2023-03-27 13:48:39 +02:00
flake.lock flake: use nixos-23.05 2023-06-13 14:42:53 +02:00
flake.nix Merge branch main into origin/nixos-23.05 2023-06-28 19:20:11 +02:00
LICENSE.md Run treefmt command 2022-11-20 23:28:23 +01:00
README.md ci.b12f.io -> ci.pub.solar 2023-06-13 14:58:03 +02:00
shell.nix lib: move compat to lib 2021-04-18 20:51:47 -06:00
treefmt.toml lint: exclude file generated by nvfetcher 2023-06-13 14:52:39 +02:00

PubSolarOS

Welcome to PubSolarOS, a very opiniated Linux (NixOS) distribution for the nerdy.

We're creating this distribution for our own personal use and fun, but take pride in our craft. As of 14.08.22 it's running on 14 physical devices, both x86_64 and aarch64.

At its core, it's a NixOS installation running our configuration. The UX decisions and the way the project is structured are what make it PubSolarOS:

  • Reproducibility is king, and the future is with declarative and functional programming. Even if Nix does not turn out to be the end-all-be-all of reproducible package management (Guix looks good), it has a plethora of packages, a very active and helpful community, and very solid software engineering practices.
  • Because reproducibility is king, we're using nix flakes for locking flake dependencies. Digga is our flake utility library, made by the wonderful people of the Divnix community.
  • Physical devices are not shared anymore nowadays. Only seldomly will you find shared devices that need more than one user account. For this reason, only one user (excluding root) is assumed.
  • Keyboard navigation wins where it matters; ergonomics, programmability, efficiency, and speed. We use a tiling window manager (sway) and prioritize cli-based solutions where sensible. The editor is neovim configured to be just as opiniated as the operating system it is a part of. For mailing, neomutt is the default, but we're more divided on that part.
  • We like new and shiny things, so we've moved to Wayland and pipewire.
  • SICHERHEIT is written in capital letters at pub.solar, so we have first- class disk-encryption support. Currently in the works is a paranoid mode where the device can only hibernate (no more sleep or lockscreen) so your data is locked any time you leave the device.
  • Free software is better. If we can avoid it, nonfree software is avoided. By default, allowUnfree is false so we don't ship non-free software in a basic PubSolarOS ISO. However, nothing prevents you from using as much non-free software as you like.
  • Automation is better. The reproducibility of nix feels so much more powerful once you're deploying your new configuration from your laptop to all your other devices with one command. We have an automated CI using drone.
  • Community is important. We just like working on this together, and it feels really good to see our progress at the end of a hakken.irl session.

To get started, take a look at the quick start guide in our docs.