|
|
b854b66c08
|
git: misc changes
- add some better push default configs
- remove a bunch of unused aliases
- remove `precomposeunicode = false` noop
- add `forcepush` alias
|
2023-02-25 17:55:35 +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 |
|
|
|
2b58db1345
|
update github username
|
2022-08-19 02:54:22 +02:00 |
|
|
|
8f68ada082
|
Move home-manager related files into home directory
|
2022-08-19 01:54:13 +02:00 |
|
