summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2021-12-08 00:55:17 +0100
committertv <tv@krebsco.de>2021-12-08 00:55:17 +0100
commitf04db939e10ac144ea9f58dcaeab3d4ec653b326 (patch)
treea2bbdecd969311d106c8548ca2be53475ab1a9fb
parent9d9977ac834cbe12f43a923a94262356bcc93159 (diff)
tv gitrepos: add texnix
-rw-r--r--tv/2configs/gitrepos.nix3
1 files changed, 3 insertions, 0 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix
index 6f4deda..fc76e5f 100644
--- a/tv/2configs/gitrepos.nix
+++ b/tv/2configs/gitrepos.nix
@@ -116,6 +116,9 @@ let {
TabFS = {
cgit.desc = "mount browser tabs & co. as a filesystem";
};
+ texnix = {
+ cgit.desc = "TeX live environment generator";
+ };
with-ssh = {};
} // mapAttrs (_: recursiveUpdate { cgit.section = "2. Host configurations"; }) {
ni = {