Skip to content

Instantly share code, notes, and snippets.

@mpickering

mpickering/ghcide-wrapper

Created May 4, 2020 13:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mpickering/a3bbae87203310f8750107c8280ec231 to your computer and use it in GitHub Desktop.
Save mpickering/a3bbae87203310f8750107c8280ec231 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ghcide-wrapper
#! /usr/bin/env bash
nix-shell /home/matt/ghc/ghc.nix/ --run\
"/home/matt/ghcide-clean/dist-newstyle/build/x86_64-linux/ghc-8.8.3/ghcide-0.1.0/x/ghcide/build/ghcide/ghcide --verbose --lsp -j4 $@"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment