From 385be2e0feef61120484e2d2bfbb82fcfe198ff1 Mon Sep 17 00:00:00 2001
From: dadada <dadada@dadada.li>
Date: Sun, 18 Oct 2020 17:24:32 +0200
Subject: [PATCH] Upgrade tubslatex version

---
 .gitignore                |  2 ++
 modules/profiles/home.nix |  3 ++-
 pkgs/tubslatex.nix        | 11 +++++------
 3 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/.gitignore b/.gitignore
index 31a3a50..835bd63 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,5 @@ private/
 home.nix
 *.swp
 result
+pkgs/tubslatex_1.3.2.tds.zip
+work.nix
diff --git a/modules/profiles/home.nix b/modules/profiles/home.nix
index 5b1bf58..bfe19ca 100644
--- a/modules/profiles/home.nix
+++ b/modules/profiles/home.nix
@@ -42,6 +42,7 @@ in {
     chromium
     clang
     clang-tools
+    direnv
     evince
     ffmpeg
     fido2luks
@@ -95,7 +96,6 @@ in {
     whois
     xdg_utils
     firefox-bin
-    direnv
   ] ++ (with unstable; [
     android-studio
     keepassxc
@@ -103,6 +103,7 @@ in {
     python38Packages.managesieve
     signal-desktop
     thunderbird-bin
+    texlive-tubslatex
     wireshark
     youtube-dl
   ]);
diff --git a/pkgs/tubslatex.nix b/pkgs/tubslatex.nix
index 0ad42f1..acb8fc2 100644
--- a/pkgs/tubslatex.nix
+++ b/pkgs/tubslatex.nix
@@ -1,10 +1,9 @@
-{ stdenv, fetchzip }:
+{ stdenv, fetchzip, unzip }:
 stdenv.mkDerivation rec {
-  src = fetchzip {
-    url = https://gitlab.ibr.cs.tu-bs.de/tubslatex/tubslatex/-/jobs/116760/artifacts/raw/builds/tubslatex.tds.zip;
-    sha256 = "0vvgwwkd8y7nk1lkda6zsnfnzmvgda1g59yawsknmw246y8nw8ln";
-    stripRoot = false;
-  };
+  src = ./tubslatex_1.3.2.tds.zip;
+  sourceRoot = ".";
+  nativeBuildInputs = [ unzip ];
+  buildInputs = [ unzip ];
   installPhase = ''
       mkdir -p $out
       cp -r * $out/