]> ruderich.org/simon Gitweb - config/dotfiles.git/commitdiff
ghc/ghci: add
authorSimon Ruderich <simon@ruderich.org>
Fri, 19 Sep 2014 09:37:25 +0000 (11:37 +0200)
committerSimon Ruderich <simon@ruderich.org>
Fri, 19 Sep 2014 09:37:25 +0000 (11:37 +0200)
.gitignore
ghc/ghci [new file with mode: 0644]
setup.sh

index edfe036db63d784ff5452664a9ba6582b6fe00fa..699bf22e59e0789399c5729a906fe13a652b0d11 100644 (file)
@@ -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 (file)
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 <http://www.gnu.org/licenses/>.
+
+
+-- Don't display loaded modules in prompt.
+:set prompt "ghci> "
index 3515b06e5f7bde25d3d580b51d84a3a1d6d4a437..d80d1cc872af30b33f90277f42c7fde1c5fd8095 100755 (executable)
--- 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