Skip to content

Instantly share code, notes, and snippets.

@zeta-00
Created March 18, 2020 19:20
Show Gist options
  • Save zeta-00/5e48fec607a34b8caa8bec993e5f008e to your computer and use it in GitHub Desktop.
Save zeta-00/5e48fec607a34b8caa8bec993e5f008e to your computer and use it in GitHub Desktop.
sessionVariables = {
EDITOR = "emacs";
HIE_HOOGLE_DATABASE = "$(cat $(which hoogle) | sed -n -e 's|.*--database \\(.*\\.hoo\\).*|\\1|p')";
NIX_GHC = "$(which ghc)";
NIX_GHCPKG = "$(which ghc-pkg)";
NIX_GHC_DOCDIR = "$NIX_GHC/../../share/doc/ghc/html";
NIX_GHC_LIBDIR = "$(ghc --print-libdir)";
JAVA_HOME = "$(jdk.home)";
};
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment