| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | home: add twelf | stuebinm | 2024-02-11 | 1 | -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 updates | stuebinm | 2023-12-09 | 1 | -1/+0 |
| | | |||||
| * | jump to nixos 23.11 | stuebinm | 2023-11-30 | 1 | -2/+4 |
| | | |||||
| * | home: small changes | stuebinm | 2023-11-15 | 1 | -1/+1 |
| | | |||||
| * | home: spell checking for emacs | stuebinm | 2023-10-30 | 1 | -1/+1 |
| | | |||||
| * | home: switch back to rnix-lsp | stuebinm | 2023-10-30 | 1 | -1/+1 |
| | | |||||
| * | playing around with radicle.xyz | stuebinm | 2023-10-12 | 1 | -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 RusTeX | stuebinm | 2023-10-09 | 1 | -1/+3 |
| | | |||||
| * | updates | stuebinm | 2023-10-09 | 1 | -1/+1 |
| | | |||||
| * | home: accumulated changes | stuebinm | 2023-10-08 | 1 | -4/+6 |
| | | |||||
| * | update inputs | stuebinm | 2023-10-01 | 1 | -1/+1 |
| | | |||||
| * | home: add lean4 | stuebinm | 2023-09-23 | 1 | -1/+1 |
| | | |||||
| * | assorted nice-ish things | stuebinm | 2023-08-03 | 1 | -1/+1 |
| | | |||||
| * | htmlq is nice | stuebinm | 2023-07-24 | 1 | -1/+1 |
| | | | | | (thanks to the shork for the hint!) | ||||
| * | home: documentation for TeXlive | stuebinm | 2023-07-20 | 1 | -1/+5 |
| | | | | | (this makes texdoc find useful pdfs on disk instead of on CTAN) | ||||
| * | package RusTeX | stuebinm | 2023-07-18 | 1 | -1/+1 |
| | | |||||
| * | update inputs | stuebinm | 2023-06-30 | 1 | -3/+3 |
| | | |||||
| * | update isabelle fhsenv | stuebinm | 2023-04-28 | 1 | -1/+1 |
| | | |||||
| * | home: proper xdg-open behaviour for pdfs | stuebinm | 2023-04-18 | 1 | -1/+1 |
| | | |||||
| * | manage secrets with sops | stuebinm | 2023-04-11 | 1 | -1/+1 |
| | | | | | not sure if i like this yet, but it seems worth trying it out. | ||||
| * | home: use wormhole-rs instead of wormhole | stuebinm | 2023-04-10 | 1 | -1/+1 |
| | | |||||
| * | update inputs | stuebinm | 2023-03-24 | 1 | -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 & naersk | stuebinm | 2023-03-22 | 1 | -32/+4 |
| | | | | | | the only thing this makes more complicated is typst; most of the other benefits I don't use in any case. | ||||
| * | package typst | stuebinm | 2023-03-22 | 1 | -1/+1 |
| | | |||||
| * | home: downgrade to emacs 29 | stuebinm | 2023-03-19 | 1 | -1/+17 |
| | | |||||
| * | home: add the gomuks matrix client | stuebinm | 2023-03-05 | 1 | -1/+1 |
| | | |||||
| * | home: add nix-doc | stuebinm | 2023-03-05 | 1 | -1/+1 |
| | | |||||
| * | 32 bit wine with opengl | stuebinm | 2023-03-04 | 1 | -0/+1 |
| | | | | | unfortunately not wayland-wine, but with that anno doesn't work. | ||||
| * | home: a couple more packages | stuebinm | 2023-03-04 | 1 | -1/+3 |
| | | |||||
| * | home: a couple more utils | stuebinm | 2023-02-20 | 1 | -1/+1 |
| | | |||||
| * | home: some more utils | stuebinm | 2023-02-14 | 1 | -1/+1 |
| | | |||||
| * | home: haskell 9.0.2 | stuebinm | 2023-02-12 | 1 | -2/+8 |
| | | |||||
| * | new home packages | stuebinm | 2023-01-27 | 1 | -1/+1 |
| | | |||||
| * | home: add telegram desktop | stuebinm | 2023-01-12 | 1 | -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 path | stuebinm | 2023-01-09 | 1 | -1/+1 |
| | | | | | (also this means that my home config can now be built without --impure) | ||||
| * | home: a couple useful packages | stuebinm | 2023-01-09 | 1 | -2/+4 |
| | | |||||
| * | home: more isabelle | stuebinm | 2022-12-19 | 1 | -1/+2 |
| | | |||||
| * | home: isabelle 2021-1 → 2022 | stuebinm | 2022-12-14 | 1 | -1/+1 |
| | | |||||
| * | home: use signal-desktop from unstable | stuebinm | 2022-12-06 | 1 | -1/+1 |
| | | | | | | (this has no actual benefit but i messed up and now the database can't downgrade itself) | ||||
| * | home: add nix-serve-ng | stuebinm | 2022-12-06 | 1 | -0/+1 |
| | | |||||
| * | home: emacs on wayland | stuebinm | 2022-12-06 | 1 | -1/+3 |
| | | |||||
| * | update to nixos22.11 | stuebinm | 2022-12-05 | 1 | -2/+1 |
| | | |||||
| * | add home manager deployment for parsons (hacc server) | stuebinm | 2022-11-25 | 1 | -0/+1 |
| | | |||||
| * | home: add xml pretty-printing alias | stuebinm | 2022-11-11 | 1 | -0/+1 |
| | | |||||
| * | home: add showrt | stuebinm | 2022-11-11 | 1 | -1/+5 |
| | | |||||
| * | home: add poppler_utils | stuebinm | 2022-10-15 | 1 | -0/+1 |
| | | |||||
| * | home: jump to thunderbird from unstable (>= v91) | stuebinm | 2022-07-19 | 1 | -1/+1 |
| | | |||||
| * | home: a couple more packages | stuebinm | 2022-07-18 | 1 | -1/+1 |
| | | |||||
| * | home: add traveltext to packages | stuebinm | 2022-06-15 | 1 | -0/+2 |
| | | |||||
| * | home: downgrade haskell | stuebinm | 2022-06-15 | 1 | -2/+3 |
| | | | | | (newer versions of hls are still troublesome) | ||||
 |
index : nixfiles | |
| my nixfiles |
| summaryrefslogtreecommitdiff |