Update stuff & remove upstreamed stuff

This commit is contained in:
2025-01-13 12:28:38 +01:00
parent 1ecfef1ea8
commit 5f45277e30
5 changed files with 29 additions and 40 deletions
-1
View File
@@ -6,7 +6,6 @@
signByDefault = true;
key = "~/.ssh/id_rsa.pub";
};
# TODO: unstable feature not in my fork yet
# maintenance = {
# enable = false;
# # TODO: figure out a way to specify all repositories in ~/projects & ~/work at run time
+2 -2
View File
@@ -161,8 +161,8 @@
programs.bat = {
enable = true;
config = {
# theme-light = "GitHub";
# theme-dark = "base16";
theme-light = "GitHub";
theme-dark = "base16";
};
};