From bda32ea6784526f2d3e1d913b8b74fa24a0027d8 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Mon, 27 Sep 2021 10:56:23 +0200
Subject: [PATCH] chore(develop): optionally block shell

---
 ..develop.cmd |  4 ++++
 shell.nix     | 16 ++++++++++------
 2 files changed, 14 insertions(+), 6 deletions(-)
 create mode 100755 ..develop.cmd

diff --git a/..develop.cmd b/..develop.cmd
new file mode 100755
index 000000000..185ab6a1c
--- /dev/null
+++ b/..develop.cmd
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+
+echo "Develop running... Press Enter to terminate"
+read
diff --git a/shell.nix b/shell.nix
index d420eec75..cb2e37213 100644
--- a/shell.nix
+++ b/shell.nix
@@ -6,13 +6,17 @@ let
   haskellPackages = pkgs.haskellPackages;
 
   develop = pkgs.writeScriptBin "develop" (import ./nix/develop.nix { inherit pkgs; } ''
-    if [ -n "$ZSH_VERSION" ]; then
-      autoload -U +X compinit && compinit
-      autoload -U +X bashcompinit && bashcompinit
-    fi
-    eval "$(stack --bash-completion-script stack)"
+    if [ -x .develop.cmd ]; then
+      ./.develop.cmd
+    else
+      if [ -n "$ZSH_VERSION" ]; then
+        autoload -U +X compinit && compinit
+        autoload -U +X bashcompinit && bashcompinit
+      fi
+      eval "$(stack --bash-completion-script stack)"
 
-    $(getent passwd $USER | cut -d: -f 7)
+      $(getent passwd $USER | cut -d: -f 7)
+    fi
   '');
 
   inDevelop = pkgs.writeScriptBin "in-develop" ''