forked from pub-solar/os
teutat3s
972e3f1569
to specify it explicitly (results in double entry in nix.conf)
Also force our nix.extraOptions because digga tries real hard to put
their binary caches there:
|
||
|---|---|---|
| .drone | ||
| .github | ||
| doc | ||
| hosts | ||
| lib | ||
| modules | ||
| overlays | ||
| pkgs | ||
| profiles | ||
| secrets | ||
| shell | ||
| tests | ||
| users | ||
| .drone.yml | ||
| .editorconfig | ||
| .envrc | ||
| .git-blame-ignore-revs | ||
| .gitignore | ||
| bors.toml | ||
| CHANGELOG.md | ||
| COPYING | ||
| default.nix | ||
| flake.lock | ||
| flake.nix | ||
| LICENSE.md | ||
| README.md | ||
| shell.nix | ||
| treefmt.toml | ||
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 isneovimconfigured to be just as opiniated as the operating system it is a part of. For mailing,neomuttis 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,
allowUnfreeisfalseso 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.