| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| ... | |
| | |
|
| | |
|
| |
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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)
|
| |
|
|
|
| |
unfortunately, these tests seem to be broken at the moment? Or at least
I cannot see where my packaging differs from the provided cpanfile.snapshot.
|
| |
|
|
|
| |
quite a bunch of these packages now need manually adjusted build
inputs (most often just adding TestSuite2) to make the tests not fail.
|
| | |
|
| |
|
|
|
|
|
| |
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)
|
| |
|
|
|
| |
thanks to networkException for demonstrating how to do this; I'd not
have had the patience to figure out which files to replace otherwise.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
I discovered `guix pull --news` recently and realised I barely ever keep
up with nixpkgs's change logs, so here's a thing which might help to
change that. It's actually a little more general than I thought it'd
need to be — turns out that people do change old release notes items in
nixpkgs (mostly to update links), so it can format deletions as well.
(some vague inspiration was given by https://github.com/netj/markdown-diff)
It's a little cursed, but then so is using `lowdown` at all I'd say …
|
| |
|
|
|
|
| |
thanks to change Id90e1e1ff399afe54fff68167f497f0484d2c218 being
merged into guix (d082573db1b86d922965dc746627bf0f0cc18af4), the
hikari package from upstream is no longer broken.
|
| | |
|
| |
|
|
|
|
| |
all non-nixos modules I use should have their documentation merged into
the configuration.nix man page I have available on ilex / abbenay, even
for modules not used there.
|
| |
|
|
| |
because for some reason it's not there already
|
| | |
|
| |
|
|
|
| |
lowdown isn't very good, but at least it doesn't have any weird cloud
features (why is this the standard for things that show text??)
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
This reverts commit a86a04f9e26854ec967c46a6ad3f015364fb91a6. It has
since been merged into nixpkgs master, and i'm unsure if i will continue
using it.
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
without this, there's lots of extra space since the in-javascript layout
script thinks boxes take up more space than they actually do
(i think there was this nice idea, once, about separating the UI from
the rest of the application? ah well)
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
since schildichat-web has essentially been unmaintained for a while now,
i guess i don't really have any choice here.
I've tried to at least hack a little css into my element so it won't
bother me too much (mostly making UI elements smaller & changing some
colours). However, it turns out they do UI calculations in javascript
which just make hard assumptions over values set in the css, and so far
I've not succeeded in fixing these.
Das ist doch wirklich alles Unsinn in diesem Ökosystem …
|
| |
|
|
|
|
|
| |
not sure if this is a good idea or not, but i always liked how the
IRC #voc-wok channel of the c3voc works, and I don't run my own IRC (nor
do i want to have my monitoring on infra that is not my own), so I built
a similar thing with matrix.
|
| |
|
|
| |
also remove v4l2loopback on ilex
|
| |
|
|
| |
let's see if this hydra of mine is of any use :)
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
so I added a command to search though them :)
Should help whenever I'm not sure if I have cloned something already.
Intended usage is something like `cd (git where)`. It might be useful to
extend this so it doesn't assume everything has a remote called
`origin', but looks like my only three git repos which don't have
one (and which are not my own) where cloned via heartwood/radicle, and
I'm unlikely to need those again tbh.
… tbh, it might also be worth it to add a mass-fetch command? So much of
what I've cloned is just old stuff lying around …
|
| |
|
|
|
|
|
|
|
| |
Not sure yet how much (if anything) I'll actually do with this, but it
seemed like a fun idea to try and it's been way to long since I wrote
anything in scheme.
Entirely untested, as I don't actually have a prometheus running atm
(apart from the one specifically for tracktrain on chaski).
|
| |
|
|
|
|
| |
new feature which made this relevant is use of interactive sudo (since
abbenay still has interactive sudo from the days when it was a desktop
machine)
|
| |
|
|
| |
https://github.com/NixOS/nixpkgs/pull/278981
|
| | |
|
