diff options
author | lassulus <lassulus@lassul.us> | 2021-12-08 08:15:51 +0100 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2021-12-08 08:15:51 +0100 |
commit | 0ff9f70dab01161c352eb8c1954bf793e155bb1c (patch) | |
tree | 88fba34c56c5ad49bb80bff664f2ecd578c40bd8 /tv/2configs/gitrepos.nix | |
parent | a921560b2ffe640e951fe22aae612d14797321b5 (diff) | |
parent | f04db939e10ac144ea9f58dcaeab3d4ec653b326 (diff) |
Merge remote-tracking branch 'ni/master' into 21.11
Diffstat (limited to 'tv/2configs/gitrepos.nix')
-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 = { |