| Commit message (Collapse) | Author | Files | Lines |
|---|
|
|
|
|
|
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.
|
|
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)
|
|
|
|
|
|
this is, in the widest possible sense, a revert of
e88fed18f499a3e8ac98c772bbb62f00d1f8d1d7, which was now a little over
two years ago.
Of course, lots of things have changed since then:
- this uses npins instead of niv, which is both simpler and still
maintained
- i haven't brought back the old deploy lib; I still use
deploy-rs (with some modifications) to deploy things
- if you actually use my stuff downstream, you can now use packages/ &
tests/ & modules/ as entry points directly, while still having some
control over inputs
- (since i also don't believe any downstream users actually exist, i've
not bothered to have a shim flake.nix so your stuff probably just
broke. well, it was an experimental feature, anyways)
- in general there's a lot more of the old-fashioned structure back
again, with default.nix files in subdirectories that form a
structure, not like how almost everything was just imported in the
one big flake.nix file
For people who are interested in also having a non-flake config similar
to this one, it's probably best to take a look at inputs.nix (and also
at npins, of course)
|
|
this is the rust tool used by the french ministry for
transport (deployed at https://transport.data.gouv.fr/validation),
patched to not include the server mode it usually has (i don't want to
constantly compile another copy of actix-web)
|
|
because for some reason it's not there already
|
|
let's see if this hydra of mine is of any use :)
|
|
|
|
the tool is still a bit rough, but it should work well enough for actual
use (even if i have to restart xochitl afterwards)
|
|
for Chris Marten's logic course. Uses an unofficial version from github
since the actually released version is so old that the elisp code for
the emacs mode doesn't work with an up-to-date emacs anymore.
|
|
|
|
|
|
|
|
|
|
|
|
this packages the heartwood cli tools, the radicle web interface, and
runs a small example deployment on chaski.
TODO: decide if i want to keep this thing, then add declarative config
of the web interface, `rad auth`, and the radicle node to a NixOS
module; the current state is kinda suboptimal to deploy.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(thanks to the shork for the hint!)
|
|
(this makes texdoc find useful pdfs on disk instead of on CTAN)
|
|
|
|
|
|
|
|
|
|
not sure if i like this yet, but it seems worth trying it out.
|
|
|
|
also remove some old stuff. also deduplicate the erlangs on my akkoma.
also remove chromium, since for some reason hydra hasn't built it yet
and I'm not fancying compiling it myself.
also remove the whole sshd mosh stuff for the chat, since that broke
tmux-on-login.
|
|
the only thing this makes more complicated is typst; most of the other
benefits I don't use in any case.
|
|
|
|
|
|
|
|
|
|
unfortunately not wayland-wine, but with that anno doesn't work.
|
|
|
|
|
|
|
|
|
|
|
|
it turns out all the flatpak shenanigans were never necessary in
the first place, the package containing telegram just has a confusing
name.
|
|
(also this means that my home config can now be built without --impure)
|
|
|
|
|
|
|
