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 | a05213de2a259d2a1e328876827ef25f0fb7f7b3 (patch) | |
| tree | 3d8b05edd7ecdb78d15cdb8b4bf697a470fd6ddd | |
| parent | ba955a903ec8135400d0d649cc775aaeaa2bee63 (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 6f4dedad..fc76e5fd 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 = { |