Experimental NixOS repo
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Benjamin Bädorf f6062d0019
Merge pull request 'Pull in upstream devos commits' (#150) from feature/pull-in-upstream-devos-commits into main
4 months ago
.drone Drone: follow new upstream default branch main, cron fixes (#30) 1 year ago
.github workflows: switch to new default branch main 1 year ago
doc Improve help and screen recording keybindings in sway 7 months ago
hosts bootstrap iso: add PubSolarOS naming, drone pipeline 6 months ago
lib Pull in upstream commits from https://github.com/divnix/digga/pull/490 5 months ago
modules Merge pull request 'Embrace nvfetcher' (#145) from feature/embrace-nvfetcher into main 5 months ago
overlays neovim: use nvfetcher for custom plugins 5 months ago
pkgs zsh: fetch plugins using nvfetcher 5 months ago
profiles Change user.publicKeys to a SSH keys string list 6 months ago
secrets Remove .gitattributes files 1 year ago
shell Pull in upstream commits from https://github.com/divnix/digga/pull/490 5 months ago
tests wip: first PubSolarOS iso test using the NixOS 7 months ago
users Remove SSH public key, add comment about default password 1 year ago
.drone.yml Update drone-config 5 months ago
.editorconfig editorconfig: fixup 2 years ago
.envrc direnv: update envrc 11 months ago
.gitignore modules: remove redundant server module, SSH is enabled in core profile, too 1 year ago
CHANGELOG.md Update Changelog for tag 2 years ago
COPYING init 3 years ago
LICENSE.md Add AGPLv3 License 7 months ago
README.md readme: add link to https://ci.b12f.io 7 months ago
bors.toml bors.toml: don't delete merged branches 2 years ago
default.nix default.nix: fix path to compat 2 years ago
flake.lock Bump flake.lock 5 months ago
flake.nix Pull in upstream commits from https://github.com/divnix/digga/pull/490 5 months ago
shell.nix lib: move compat to lib 2 years ago



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.