From 6e1fdbbeba19567dc1b8bbf7f0b4bd9f3fa5c365 Mon Sep 17 00:00:00 2001 From: Simon Ruderich Date: Mon, 18 Aug 2014 00:22:49 +0200 Subject: [PATCH] haskeline: add, readline clone --- haskeline | 39 +++++++++++++++++++++++++++++++++++++++ setup.sh | 5 ++++- 2 files changed, 43 insertions(+), 1 deletion(-) create mode 100644 haskeline diff --git a/haskeline b/haskeline new file mode 100644 index 0000000..ecf2428 --- /dev/null +++ b/haskeline @@ -0,0 +1,39 @@ +-- Configuration file for haskeline (an incomplete readline "clone"). + +-- 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 . + + +-- Activate Vi editing mode. +editMode: Vi + +-- Never ring any bell. +bellStyle: NoBell + +-- Increase history size. +maxHistorySize: Just 50000 +-- Don't add consecutive duplicate lines to the history. +historyDuplicates: IgnoreConsecutive + + +-- KEY BINDINGS + +-- / with the additional effect that only lines starting with the +-- current input are matched. Very useful to recall old commands quickly - +-- just type the first few characters. +bind: ctrl-p meta-k +bind: ctrl-n meta-j + +-- vim: ft=haskell diff --git a/setup.sh b/setup.sh index ee5fed1..06c13e9 100755 --- a/setup.sh +++ b/setup.sh @@ -2,7 +2,7 @@ # Setup script for shell configuration files. -# Copyright (C) 2011-2012 Simon Ruderich +# Copyright (C) 2011-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 @@ -267,6 +267,9 @@ if installed colordiff; then link colordiffrc ~/.colordiffrc fi link inputrc ~/.inputrc +if installed ghci; then + link haskeline ~/.haskeline +fi link screenrc ~/.screenrc if installed tmux; then link tmux.conf ~/.tmux.conf -- 2.45.2