From: Simon Ruderich Date: Fri, 19 Sep 2014 09:37:25 +0000 (+0200) Subject: ghc/ghci: add X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=d61bbcb45fa8ac4076989c281e1fe87f2d320f00;p=config%2Fdotfiles.git ghc/ghci: add --- diff --git a/.gitignore b/.gitignore index edfe036..699bf22 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,4 @@ +/ghc/ghci_history +/ghc/x86_64-linux-*/ /lftp/rl_history /maxima/maxout.gnuplot_pipes diff --git a/ghc/ghci b/ghc/ghci new file mode 100644 index 0000000..0584d16 --- /dev/null +++ b/ghc/ghci @@ -0,0 +1,20 @@ +-- ghci configuration file. + +-- Copyright (C) 2014 Simon Ruderich +-- +-- This file is free software: you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation, either version 3 of the License, or +-- (at your option) any later version. +-- +-- This file is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this file. If not, see . + + +-- Don't display loaded modules in prompt. +:set prompt "ghci> " diff --git a/setup.sh b/setup.sh index 3515b06..d80d1cc 100755 --- a/setup.sh +++ b/setup.sh @@ -2,7 +2,7 @@ # Setup script for miscellaneous configuration files. -# Copyright (C) 2009-2013 Simon Ruderich +# Copyright (C) 2009-2014 Simon Ruderich # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -28,6 +28,12 @@ if installed gdb; then link gdb/gdbinit ~/.gdbinit fi +# ghc(i), Glasgow Haskell Compilation. +if installed ghci; then + link ghc ~/.ghc + link ghc/ghci ~/.ghci +fi + # Powerful FTP client. if installed lftp; then link lftp ~/.lftp