From ad7e3f5d19fddad0181002e3cb1e2fb8e0ec6969 Mon Sep 17 00:00:00 2001 From: Chris Allen Date: Sat, 28 Feb 2015 18:20:25 -0600 Subject: [PATCH] blah --- .cabal/config | 2 +- .init/init.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.cabal/config b/.cabal/config index 1f296b55..a6747c9a 100644 --- a/.cabal/config +++ b/.cabal/config @@ -8,7 +8,7 @@ -- used to indicate layout for nested sections. --- require-sandbox: False +require-sandbox: True -- ignore-sandbox: False remote-repo: hackage.haskell.org:http://hackage.haskell.org/packages/archive -- remote-repo: stackage:http://www.stackage.org/stackage/78dab1c45f2a43c4fffbaebb5797cf60cb5488b1 diff --git a/.init/init.sh b/.init/init.sh index fb5220b3..3dd494ad 100755 --- a/.init/init.sh +++ b/.init/init.sh @@ -6,7 +6,7 @@ sudo apt-key adv --keyserver pgp.mit.edu --recv-keys 0xd66b746e sudo add-apt-repository -y ppa:hvr/ghc sudo apt-get update && sudo apt-get upgrade -sudo apt-get install emacs24 git xmonad xmobar suckless-tools stterm vim wget curl mosh zsh texlive-full build-essential stalonetray silversearcher-ag python-pygments coq coqide skype pianobar pasystray libtinfo-dev vlc youtube-dl ddd inotify-tools +sudo apt-get install emacs24 git xmonad xmobar suckless-tools stterm vim wget curl mosh zsh texlive-full build-essential stalonetray silversearcher-ag python-pygments coq coqide skype pianobar pasystray libtinfo-dev vlc youtube-dl ddd inotify-tools mg sudo apt-get install ghc-7.8.4 cabal-install-1.22 happy-1.19.4 alex-3.1.3