|
|
e78d1408aa
|
packages: remove mps-youtube
This program apparently now has a fork at https://github.com/mps-youtube/yewtube
but I never used it, so I'd rather just remove it altogether
|
2023-03-17 01:28:34 +01:00 |
|
|
|
8515ea162b
|
Misc package changes:
- add progress
- add thunderbird
- obsidian had a bad electron version?
|
2023-02-25 17:54:36 +01:00 |
|
|
|
2e3c8631fe
|
bi-annual nixos upgrade: 22.05 -> 22.11
|
2022-11-26 22:50:17 +01:00 |
|
|
|
7aa0165173
|
Add packages:
- usbutils
- swi prolog
|
2022-11-19 16:35:55 +01:00 |
|
|
|
9bc5d2e85d
|
home: several changes
- add TEXMFHOME variable
- Include mutable_config to ssh config
- add package `kondo`
- mpd uses xdg music userdir
|
2022-11-11 21:23:25 +01:00 |
|
|
|
1c6a64aa8a
|
Add misc packages
|
2022-09-22 04:09:17 +02:00 |
|
|
|
8f68ada082
|
Move home-manager related files into home directory
|
2022-08-19 01:54:13 +02:00 |
|
