Created
August 14, 2016 21:53
-
-
Save teh/c603c450067bb2a46e260821fa7f985c to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
import sys | |
import time | |
import os | |
import subprocess | |
def main(): | |
if sys.argv[1:] == ["path", "--project-root", "--verbosity", "silent"]: | |
print "/home/tom/src/intero" | |
return | |
if sys.argv[1:] == ["exec", "intero"]: | |
return | |
if sys.argv[1:4] == ['ghci', '--with-ghc', 'intero']: | |
odir = sys.argv[8] | |
hidir = sys.argv[10] | |
with open('/tmp/intero-log', 'a') as f: | |
f.write("HI {} HO {}\n".format(odir, hidir)) | |
subprocess.call(['/home/tom/.nix-profile/bin/ghci', '-odir', odir, '-hidir', hidir]) | |
return | |
with open('/tmp/intero-log', 'a') as f: | |
f.write(repr(sys.argv)) | |
f.write("\n") | |
main() |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
elisp error on ctrl+q: