diff options
| author | tv <tv@krebsco.de> | 2021-12-08 00:55:17 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2021-12-08 00:55:17 +0100 |
| commit | f04db939e10ac144ea9f58dcaeab3d4ec653b326 (patch) | |
| tree | a2bbdecd969311d106c8548ca2be53475ab1a9fb | |
| parent | 9d9977ac834cbe12f43a923a94262356bcc93159 (diff) | |
tv gitrepos: add texnix
| -rw-r--r-- | tv/2configs/gitrepos.nix | 3 |
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 = { |