summaryrefslogtreecommitdiff
path: root/pkgs/overlay.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* home: remove some packages i don't really usestuebinm2024-06-251-0/+9
|
* home: remove leanstuebinm2024-06-141-3/+0
| | | | | | | 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.
* all: jump to nixpkgs 24.05stuebinm2024-06-041-5/+12
| | | | | | | | | | | | 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)
* erlang_nox everywherestuebinm2024-05-071-3/+1
| | | | | turns out these overrides are more convoluted than I expected, but I think (?) this should now actually catch all of them.
* custom apply config scriptstuebinm2024-05-061-0/+2
| | | | | | | | 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.
* yeet the nix flakesstuebinm2024-04-291-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | 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)
* package transport-validatorstuebinm2024-04-151-0/+23
| | | | | | | 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)
* element-web: use older emoji fontsstuebinm2024-04-141-2/+16
| | | | | thanks to networkException for demonstrating how to do this; I'd not have had the patience to figure out which files to replace otherwise.
* Revert "flora: test-deploy the mollysocket nixpkgs PR"stuebinm2024-04-031-2/+1
| | | | | | This reverts commit a86a04f9e26854ec967c46a6ad3f015364fb91a6. It has since been merged into nixpkgs master, and i'm unsure if i will continue using it.
* element-web: nicer coloursstuebinm2024-04-021-0/+1
|
* flora/element-web: correct patch for left side barstuebinm2024-03-291-7/+5
| | | | | | | 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)
* flora: schildichat-web → element-webstuebinm2024-03-281-0/+13
| | | | | | | | | | | | | 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 …
* help i wrote a matrix botstuebinm2024-03-271-0/+9
| | | | | | | 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.
* flora: test-deploy the mollysocket nixpkgs PRstuebinm2024-03-101-1/+2
| | | | https://github.com/NixOS/nixpkgs/pull/278981
* home: add git annex remote for amatlstuebinm2024-03-071-0/+13
| | | | | the tool is still a bit rough, but it should work well enough for actual use (even if i have to restart xochitl afterwards)
* restructure & general cleanupstuebinm2024-03-051-13/+24
| | | | | | | | - pkgs/ should now also contain all package overrides - pkgs/patches/ now contains all patches - nix flake info succeeds again - still not sure what to do about scripts - services which are not used should not be kept around this long
* init mollysocket package, module, and deploy it on florastuebinm2024-03-041-0/+2
| | | | with thanks to networkException, who wrote the initial nix package.
* pkgs: init bookwyrmstuebinm2024-02-111-0/+12
| | | | | | | this is still missing: - a nice way to do settings - lots of testing (run the manage.py test script in a nixos test?) - an actual way to deploy this in a halfway reasonable way
* nomsable webringstuebinm2024-01-131-1/+1
| | | | (just messing around for now)
* new haskell for bahnhof.namestuebinm2023-12-011-1/+1
|
* jump to nixos 23.11stuebinm2023-11-301-1/+2
|
* bahnhof.name haskell rewritestuebinm2023-11-151-11/+31
|
* package inwebstuebinm2023-11-031-0/+21
| | | | not tested, but like, why not? Might be fun playing around with it.
* desktop: hikari with debugstuebinm2023-10-281-0/+5
|
* some reorganising of //pkgsstuebinm2023-10-141-22/+30
|
* home: cleaned up old mu versionstuebinm2023-10-141-3/+0
|
* more radicle stuff (now with tui!)stuebinm2023-10-121-0/+2
|
* playing around with radicle.xyzstuebinm2023-10-121-3/+6
| | | | | | | | | 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.
* update RusTeXstuebinm2023-10-091-8/+10
|
* ilex: setup for hikari hackingstuebinm2023-10-081-0/+8
|
* update inputsstuebinm2023-10-011-17/+1
|
* home: add lean4stuebinm2023-09-231-0/+18
|
* update inputsstuebinm2023-09-061-2/+2
|
* package matrix.tostuebinm2023-07-281-0/+2
| | | | | apparently the default homeserver this uses is not configurable??? … might hack around later
* package RusTeXstuebinm2023-07-181-0/+19
|
* update bahnhof.namestuebinm2023-07-091-0/+4
|
* update inputsstuebinm2023-06-301-23/+0
|
* use dbus with x11, no x-less system for me i guess :(stuebinm2023-06-171-1/+1
| | | | constantly rebuilding the world just got too annoying
* no libX11 on chaski (experimental)stuebinm2023-05-291-1/+3
| | | | | might have to revert this if it causes problems, or if rebuilding all the things annoys me too much.
* downgrade mu to unbreak mu4e / mail in emacsstuebinm2023-05-291-1/+3
|
* initial jump to nixos 23.05stuebinm2023-05-291-6/+10
|
* update bahnhof.namestuebinm2023-05-111-1/+2
| | | | | setting elixir = elixir_1_14 may get me trouble later, we'll see (version bounds on bahnhof.name's search engine are weird)
* bahnhof.namestuebinm2023-04-261-0/+13
| | | | | | | | in gleam, because why not? (tbf i will probably eventually rewrite this in a more sensible language; I haven't even found any reason to use any of the OTP features for this 🙈)
* update inputsstuebinm2023-04-251-1/+1
|
* package travelynx because why not?stuebinm2023-04-141-0/+2
| | | | | | this file has been lying around for a bit over a year now, but I got asked about it, so time to put it in the public repo I guess (& also update it; it's on the most recent travelynx commit as of this writing).
* add module for crs-tracker, for funstuebinm2023-04-011-0/+1
| | | | | | please no one like, actually use this. unless you volunteer to at least add a script to run database migrations, since currently these need to be run by hand …
* get rid of crane & naerskstuebinm2023-03-221-2/+60
| | | | | the only thing this makes more complicated is typst; most of the other benefits I don't use in any case.
* package typststuebinm2023-03-221-0/+7
|
* package glitchtipstuebinm2023-03-221-0/+7
| | | | i don't know why i did this. i literally have no use for it.
* add a default overlay, package the galmon.eu toolsstuebinm2023-03-021-0/+6