summaryrefslogtreecommitdiff
path: root/home/packages.nix (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-04-07home: add ijqstuebinm1-1/+1
because for some reason it's not there already
2024-03-16update inputsstuebinm1-1/+1
let's see if this hydra of mine is of any use :)
2024-03-16home: minor tweaksstuebinm1-0/+1
2024-03-07home: add git annex remote for amatlstuebinm1-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)
2024-02-11home: add twelfstuebinm1-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.
2023-12-09some updatesstuebinm1-1/+0
2023-11-30jump to nixos 23.11stuebinm1-2/+4
2023-11-15home: small changesstuebinm1-1/+1
2023-10-30home: spell checking for emacsstuebinm1-1/+1
2023-10-30home: switch back to rnix-lspstuebinm1-1/+1
2023-10-12playing around with radicle.xyzstuebinm1-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.
2023-10-09update RusTeXstuebinm1-1/+3
2023-10-09updatesstuebinm1-1/+1
2023-10-08home: accumulated changesstuebinm1-4/+6
2023-10-01update inputsstuebinm1-1/+1
2023-09-23home: add lean4stuebinm1-1/+1
2023-08-03assorted nice-ish thingsstuebinm1-1/+1
2023-07-24htmlq is nicestuebinm1-1/+1
(thanks to the shork for the hint!)
2023-07-20home: documentation for TeXlivestuebinm1-1/+5
(this makes texdoc find useful pdfs on disk instead of on CTAN)
2023-07-18package RusTeXstuebinm1-1/+1
2023-06-30update inputsstuebinm1-3/+3
2023-04-28update isabelle fhsenvstuebinm1-1/+1
2023-04-18home: proper xdg-open behaviour for pdfsstuebinm1-1/+1
2023-04-11manage secrets with sopsstuebinm1-1/+1
not sure if i like this yet, but it seems worth trying it out.
2023-04-10home: use wormhole-rs instead of wormholestuebinm1-1/+1
2023-03-24update inputsstuebinm1-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.
2023-03-22get rid of crane & naerskstuebinm1-32/+4
the only thing this makes more complicated is typst; most of the other benefits I don't use in any case.
2023-03-22package typststuebinm1-1/+1
2023-03-19home: downgrade to emacs 29stuebinm1-1/+17
2023-03-05home: add the gomuks matrix clientstuebinm1-1/+1
2023-03-05home: add nix-docstuebinm1-1/+1
2023-03-0432 bit wine with openglstuebinm1-0/+1
unfortunately not wayland-wine, but with that anno doesn't work.
2023-03-04home: a couple more packagesstuebinm1-1/+3
2023-02-20home: a couple more utilsstuebinm1-1/+1
2023-02-14home: some more utilsstuebinm1-1/+1
2023-02-12home: haskell 9.0.2stuebinm1-2/+8
2023-01-27new home packagesstuebinm1-1/+1
2023-01-12home: add telegram desktopstuebinm1-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.
2023-01-09home: add isabat via flake input instead of direct pathstuebinm1-1/+1
(also this means that my home config can now be built without --impure)
2023-01-09home: a couple useful packagesstuebinm1-2/+4
2022-12-19home: more isabellestuebinm1-1/+2
2022-12-14home: isabelle 2021-1 → 2022stuebinm1-1/+1
2022-12-06home: use signal-desktop from unstablestuebinm1-1/+1
(this has no actual benefit but i messed up and now the database can't downgrade itself)
2022-12-06home: add nix-serve-ngstuebinm1-0/+1
2022-12-06home: emacs on waylandstuebinm1-1/+3
2022-12-05update to nixos22.11stuebinm1-2/+1
2022-11-25add home manager deployment for parsons (hacc server)stuebinm1-0/+1
2022-11-11home: add xml pretty-printing aliasstuebinm1-0/+1
2022-11-11home: add showrtstuebinm1-1/+5
2022-10-15home: add poppler_utilsstuebinm1-0/+1