From 07cc4136861fc97608369414b9d90d0e969042cc Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Mon, 10 May 2021 19:54:09 +0200
Subject: [PATCH] chore(nix): in-develop

---
 shell.nix | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/shell.nix b/shell.nix
index ee1664f66..f4bf32107 100644
--- a/shell.nix
+++ b/shell.nix
@@ -182,8 +182,18 @@ let
 
     $(getent passwd $USER | cut -d: -f 7)
   '';
+
+  inDevelop = pkgs.writeScriptBin "in-develop" ''
+    #!${pkgs.zsh}/bin/zsh -e
+
+    if [[ -z "''${PORT_OFFSET}" ]]; then
+      echo "Not in develop"
+    else
+      echo "In develop"
+    fi
+  '';
 in pkgs.mkShell {
   name = "uni2work";
   
-  nativeBuildInputs = [develop] ++ (with pkgs; [ nodejs-14_x postgresql_12 openldap google-chrome exiftool memcached minio minio-client gup ]) ++ (with pkgs.haskellPackages; [ stack yesod-bin hlint cabal-install weeder profiteur ]);
+  nativeBuildInputs = [develop inDevelop] ++ (with pkgs; [ nodejs-14_x postgresql_12 openldap google-chrome exiftool memcached minio minio-client gup ]) ++ (with pkgs.haskellPackages; [ stack yesod-bin hlint cabal-install weeder profiteur ]);
 }