summaryrefslogtreecommitdiff
path: root/home/packages.nix (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* home: emacs on waylandstuebinm2022-12-061-1/+3
|
* update to nixos22.11stuebinm2022-12-051-2/+1
|
* add home manager deployment for parsons (hacc server)stuebinm2022-11-251-0/+1
|
* home: add xml pretty-printing aliasstuebinm2022-11-111-0/+1
|
* home: add showrtstuebinm2022-11-111-1/+5
|
* home: add poppler_utilsstuebinm2022-10-151-0/+1
|
* home: jump to thunderbird from unstable (>= v91)stuebinm2022-07-191-1/+1
|
* home: a couple more packagesstuebinm2022-07-181-1/+1
|
* home: add traveltext to packagesstuebinm2022-06-151-0/+2
|
* home: downgrade haskellstuebinm2022-06-151-2/+3
| | | | (newer versions of hls are still troublesome)