on master help sign in
Eliminate ghci*-*
7743531Ryan Trinkle
ghci-backenddeleted−7
@@ -1,7 +0,0 @@
1−#!/usr/bin/env bash
2−set -euo pipefail
3−
4−echo -ne '\033]0;'$0'\007'
5−nix-shell -A shells.ghc --run '
6− cabal new-repl exe:backend
7− '
ghcid-backenddeleted−7
@@ -1,7 +0,0 @@
1−#!/usr/bin/env bash
2−set -euo pipefail
3−
4−nix-shell -A shells.ghc --run '
5− cd backend
6− ghcid -W -c"date >> asdf; cabal new-repl exe:backend" --restart=../common/src
7−'
ghcid-frontenddeleted−7
@@ -1,7 +0,0 @@
1−#!/usr/bin/env bash
2−set -euo pipefail
3−
4−nix-shell -A shells.ghc --run '
5− cd frontend
6− ghcid -W -c"cabal new-repl exe:frontend"
7−'