summaryrefslogtreecommitdiff
path: root/home/packages.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* home: remove leanstuebinm2024-06-141-1/+1
| | | | | | | 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-4/+4
| | | | | | | | | | | | 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)
* home: simple alias for reading qr codes on screenstuebinm2024-06-041-1/+2
|
* home: switch to dino from nixpkgs-stablestuebinm2024-05-071-0/+1
|
* yeet the nix flakesstuebinm2024-04-291-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | 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/+2
| | | | | | | 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)
* home: add ijqstuebinm2024-04-071-1/+1
| | | | because for some reason it's not there already
* update inputsstuebinm2024-03-161-1/+1
| | | | let's see if this hydra of mine is of any use :)
* home: minor tweaksstuebinm2024-03-161-0/+1
|
* home: add git annex remote for amatlstuebinm2024-03-071-2/+2
| | | | | the tool is still a bit rough, but it should work well enough for actual use (even if i have to restart xochitl afterwards)
* home: add twelfstuebinm2024-02-111-0/+8
| | | | | | 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.
* some updatesstuebinm2023-12-091-1/+0
|
* jump to nixos 23.11stuebinm2023-11-301-2/+4
|
* home: small changesstuebinm2023-11-151-1/+1
|
* home: spell checking for emacsstuebinm2023-10-301-1/+1
|
* home: switch back to rnix-lspstuebinm2023-10-301-1/+1
|
* playing around with radicle.xyzstuebinm2023-10-121-0/+1
| | | | | | | | | 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-1/+3
|
* updatesstuebinm2023-10-091-1/+1
|
* home: accumulated changesstuebinm2023-10-081-4/+6
|
* update inputsstuebinm2023-10-011-1/+1
|
* home: add lean4stuebinm2023-09-231-1/+1
|
* assorted nice-ish thingsstuebinm2023-08-031-1/+1
|
* htmlq is nicestuebinm2023-07-241-1/+1
| | | | (thanks to the shork for the hint!)
* home: documentation for TeXlivestuebinm2023-07-201-1/+5
| | | | (this makes texdoc find useful pdfs on disk instead of on CTAN)
* package RusTeXstuebinm2023-07-181-1/+1
|
* update inputsstuebinm2023-06-301-3/+3
|
* update isabelle fhsenvstuebinm2023-04-281-1/+1
|
* home: proper xdg-open behaviour for pdfsstuebinm2023-04-181-1/+1
|
* manage secrets with sopsstuebinm2023-04-111-1/+1
| | | | not sure if i like this yet, but it seems worth trying it out.
* home: use wormhole-rs instead of wormholestuebinm2023-04-101-1/+1
|
* update inputsstuebinm2023-03-241-2/+2
| | | | | | | | | 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.
* get rid of crane & naerskstuebinm2023-03-221-32/+4
| | | | | 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-1/+1
|
* home: downgrade to emacs 29stuebinm2023-03-191-1/+17
|
* home: add the gomuks matrix clientstuebinm2023-03-051-1/+1
|
* home: add nix-docstuebinm2023-03-051-1/+1
|
* 32 bit wine with openglstuebinm2023-03-041-0/+1
| | | | unfortunately not wayland-wine, but with that anno doesn't work.
* home: a couple more packagesstuebinm2023-03-041-1/+3
|
* home: a couple more utilsstuebinm2023-02-201-1/+1
|
* home: some more utilsstuebinm2023-02-141-1/+1
|
* home: haskell 9.0.2stuebinm2023-02-121-2/+8
|
* new home packagesstuebinm2023-01-271-1/+1
|
* home: add telegram desktopstuebinm2023-01-121-1/+1
| | | | | | it turns out all the flatpak shenanigans were never necessary in the first place, the package containing telegram just has a confusing name.
* home: add isabat via flake input instead of direct pathstuebinm2023-01-091-1/+1
| | | | (also this means that my home config can now be built without --impure)
* home: a couple useful packagesstuebinm2023-01-091-2/+4
|
* home: more isabellestuebinm2022-12-191-1/+2
|
* home: isabelle 2021-1 → 2022stuebinm2022-12-141-1/+1
|
* home: use signal-desktop from unstablestuebinm2022-12-061-1/+1
| | | | | (this has no actual benefit but i messed up and now the database can't downgrade itself)
* home: add nix-serve-ngstuebinm2022-12-061-0/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-20 02:26:25 +0000