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 | 0f3c4547f9e0d3c4fc9bd32c056aa76e9e2277f1 (patch) | |
tree | dabde376b4add8e53d2a3e0cc12de14b9326731d /tv/2configs/gitrepos.nix | |
parent | f221b9cc16e23a03b20f1727918f6122eb1e57f8 (diff) | |
parent | a05213de2a259d2a1e328876827ef25f0fb7f7b3 (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 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 = { |