From aa0dbbd6df87de722c9e7ea3cf76634a7e4abb4a Mon Sep 17 00:00:00 2001
From: Jens Nolte <git@queezle.net>
Date: Wed, 9 Mar 2022 19:27:45 +0100
Subject: [PATCH] Use `nix develop` in ghcid scripts

---
 ghcid          | 2 +-
 ghcid-warnings | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghcid b/ghcid
index c240465..684fd34 100755
--- a/ghcid
+++ b/ghcid
@@ -1,4 +1,4 @@
-#!/usr/bin/env -S nix shell . -c zsh
+#!/usr/bin/env -S nix develop . -c zsh
 
 print -P %F{yellow}Cleaning repository%f
 nix develop -c cabal clean
diff --git a/ghcid-warnings b/ghcid-warnings
index c730cf0..36d1cef 100755
--- a/ghcid-warnings
+++ b/ghcid-warnings
@@ -1,4 +1,4 @@
-#!/usr/bin/env -S nix shell . -c zsh
+#!/usr/bin/env -S nix develop . -c zsh
 
 print -P %F{yellow}Cleaning repository%f
 nix develop -c cabal clean
-- 
GitLab