git.iko.soy/obelisk
on master help sign in
Eliminate ghci*-*
commit7743531c20fc790b61380607613bdab86a24273a authorRyan Trinkle <ryan.trinkle@gmail.com> dateSun 4 Feb 2018, 17:01 (9 years ago) parent0022619
3 files changed−21
compare with master
unifiedsplit
ghci-backend−7 ghcid-backend−7 ghcid-frontend−7
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−'