diff --git a/ghcid b/ghcid index c2404652d438a37e03d74ece3703af3e7e906c56..684fd34031f84f204909a46d27c8c4e550d8e6fb 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 c730cf01f32d490c84eb809b21a2af808f89cdd3..36d1cefeb0d57b7edcd2b9eb890259b705043236 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