| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
also remove the nss-certs package from the config, as it is now
included in the %base-packages list.
|
| |
|
| |
|
| |
|
|
|
|
|
| |
whoops, forgot to change these which made cloning repositories (or
talking to the remote git in general) impossible over http
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
this had been removed last week since nixpkgs had broken the rebar3
build on erlang-nox, but it seems to work again, so yay for that!
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
(includes the fix regreSSHion)
|
| |
|
| |
|
|
|
|
|
|
| |
openssh starts to deny recurring connections that don't try to
authenticate after a while, which seems to be what monit is doing for
the ssh check.
|
|
|
|
|
| |
… might be good to also add a monit on nobelium itself, but in any case
this isn't wrong either.
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
since i am apparently now fingerable at plan.cat, might as well have the
utility for it (… though has there ever been a more egregious case of
"just using nc is simpler anyways"?)
|
|
|
|
|
|
|
| |
having tried multiple times, it's not actually very possible or
reasonable to attempt to keep lean's version in sync with whatever
mathlib requires at any given time, and probably better to have it just
be managed by elan, no matter how annoying that may be.
|
|
|
|
|
|
|
|
|
|
| |
the nix-env logic was still broken. It seems to have extremely weird
failure modes under which it does not report errors when doing
nix-env --set, or else the switch-to-configuration.pl script does not
properly install the boot loader entry when it was installed via --set
instead of --install.
I'm not entirely clear on why yet, will need some investigating.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
this does a lot of things, most of which are maintenance:
- sources update
- adjust newly-renamed options
- swap some packages that were removed / renamed
- update nomsring to newer default ghc
- remove the deprecated lib.mdDoc from modules/*.nix
- disable the nixpkgs mollysocket module so my own keeps evaluating
- bundle the package definition of hikari & wlroots 0.15, which nixpkgs
has removed as unmaintained (in fairness, they are unmaintained)
|
| |
|
|
|
|
| |
exit is the wrong thing in shell functions …
|
| |
|
| |
|
|
|
|
|
|
|
| |
this was meant as a test instance (the production system used by
Ilztalbahn is a separate deployment), but it was never used much except
to demonstrate some new UI. It's been broken for at least half a year,
and afaict nobody noticed or missed it, including me.
|
| |
|
| |
|
| |
|
|
|
|
|
| |
turns out these overrides are more convoluted than I expected, but I
think (?) this should now actually catch all of them.
|
|
|
|
| |
(can finally commit this bit now i guess)
|
| |
|
|
|
|
|
|
|
|
| |
since nixos-rebuild does not support applying a built config (i.e. one
on which eval-config has already been called) without flakes.
I might or might not extend this into a more proper reimplementation of
nixos-rebuild.
|