nixfiles/home, branch main my nixfiles pkgs: remove plover, switch to nixpkgs version 2026-06-08T21:41:22+00:00 stuebinm 2026-06-08T21:41:22+00:00 255571421358da1741d6253f1bc2bd6ebd5a9123 It has finally been un-broken, so bundling this in is no longer needed 
It has finally been un-broken, so bundling this in is no longer needed
home/minimal: git alias for counting changes per file 2026-05-10T16:57:34+00:00 stuebinm 2026-05-10T16:57:34+00:00 aee6906d892bb1c9262f54e8af65e84338b8e3c5 






home/mail: drop books.exposed mail account
2026-05-02T18:57:06+00:00

stuebinm

2026-05-02T18:57:06+00:00

51607f251a247950346f09c94f786fbc580f92cf












home/news: change some feeds
2026-03-24T21:14:42+00:00

stuebinm

2026-03-24T21:14:42+00:00

1129626d416e746c45c7ffd87d28fcc1eb5c8180












home/ssh: add regiolis config
2026-03-24T19:55:43+00:00

stuebinm

2026-03-24T19:55:43+00:00

9261d36faf9368c0b1457502112272b258bc4809












remove remaining mentions of hacc infra
2026-02-09T20:05:01+00:00

stuebinm

2026-02-06T20:27:03+00:00

ca5892ae8164292cbf6cc45e88109da25ea85dd4












isabelle2unicode: update, simplify git setup
2026-01-20T17:15:51+00:00

stuebinm

2026-01-20T17:15:51+00:00

e4a1744fa969c0d75567aa9e1541bc8604db5201












home: trying out riverwm (classic version)
2026-01-19T21:43:00+00:00

stuebinm

2026-01-19T21:43:00+00:00

248faec33648b15f3642aad0c53b62f32ee02a3c












home: make git produce useful diffs on .thy files
2026-01-18T14:13:37+00:00

stuebinm

2026-01-18T14:13:37+00:00

9eb9292be4468b5b36fe4217b4f92f8a92c668f6












pkgs/plover: init from unmerged nixpkgs PR
2026-01-06T21:37:31+00:00

stuebinm

2026-01-06T21:36:39+00:00

0d709caed396d24acea583971d4e3c4e5b7c5673

https://github.com/NixOS/nixpkgs/pull/419593

appears to work but is unmerged; this adds its files in a subdirectory
of pkgs/





https://github.com/NixOS/nixpkgs/pull/419593

appears to work but is unmerged; this adds its files in a subdirectory
of pkgs/