From a05213de2a259d2a1e328876827ef25f0fb7f7b3 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Wed, 8 Dec 2021 00:55:17 +0100
Subject: [PATCH] tv gitrepos: add texnix

---
 tv/2configs/gitrepos.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix
index 6f4dedad6..fc76e5fd6 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 = {