diff --git a/bash_profile b/bash_profile index b7737fa..e074d98 100644 --- a/bash_profile +++ b/bash_profile @@ -2,6 +2,7 @@ export PATH=$PATH:/opt/local/bin:/usr/local/sbin:~/.cabal/bin export MANPATH=$MANPATH:/opt/local/share/man:/usr/local/opt/erlang/lib/erlang/man export INFOPATH=$INFOPATH:/opt/local/share/info export PYTHONSTARTUP=~/.pythonrc +export JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk1.8.0_05.jdk alias psg="ps aux | grep -v grep | grep -i -e VSZ -e" alias ..="cd .." alias gcc="gcc-4.9" diff --git a/ghci b/ghci index bf7290c..865fc32 100644 --- a/ghci +++ b/ghci @@ -1,5 +1,5 @@ :set prompt "ghci> " -:set -Wall +{- :set -Wall -} let ghciEscapeShellArg arg = "'" ++ concatMap (\c -> if c == '\'' then "'\"'\"'" else [c]) arg ++ "'"