Did you know ... Search Documentation:
GIT commit info
Include libedit
authorJan Wielemaker
Wed Jan 4 16:25:11 2017 +0100
committerWiki manager
Wed Jan 4 16:25:11 2017 +0100
commitbcf13068bf59c9be290c43937b2bd45ab3fb9e54
treef7901097f72f88ec03e3216816f8ab8071896fed
parent4d3542c27db6b97f8830d1f2f165cd506262b15e
Diff style: patch stat
diff --git a/build/Debian.txt b/build/Debian.txt
index 82083db..025082b 100644
--- a/build/Debian.txt
+++ b/build/Debian.txt
@@ -17,12 +17,17 @@ Some remarks:
     library(uuid), which is needed for ClioPatria's SPARQL engine.
   - The package =|libdb-dev|= is needed as of 7.3.8 for
     library(bdb), the BerkeleyDB embedded database interface.
+  - The package =|libreadline-dev|= and =|libedit-dev|= both provide
+    command line editing for interactive usage.  None is strictly
+    needed and one of them suffices. =|libedit-dev|= is supported as of
+    7.3.34 and is intended to become the preferred command line editor.
   - =libunwind= only simplifies debugging in case of a system crash.
 
 ==
 sudo apt-get install \
         build-essential autoconf curl chrpath pkg-config \
-        ncurses-dev libreadline-dev libunwind-dev \
+        ncurses-dev libreadline-dev libedit-dev \
+	libunwind-dev \
         libgmp-dev \
         libssl-dev \
         unixodbc-dev \