diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-01-22 09:39:39 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-01-22 09:39:39 +0100 |
| commit | 2532733d63fdf60190142a634eb6f1e15372f9b1 (patch) | |
| tree | 2b0a2856a5653445875ea39038abe5d05f25f290 | |
| parent | d53fa7ca8ea43da2844d64186aacb0eb55a52e81 (diff) | |
| parent | c63303c56b03ff01fe3e72c76c274e266dc83be5 (diff) | |
Merge PR #6550: Remove outdated note about rlwrap in setup.txt
| -rw-r--r-- | dev/doc/setup.txt | 24 |
1 files changed, 3 insertions, 21 deletions
diff --git a/dev/doc/setup.txt b/dev/doc/setup.txt index 26f3d0ddc..0003a2c21 100644 --- a/dev/doc/setup.txt +++ b/dev/doc/setup.txt @@ -58,30 +58,12 @@ behave as expected. A note about rlwrap ------------------- -Running "coqtop" under "rlwrap" is possible, but (on Debian) there is a catch. If you try: - - cd ~/git/coq - rlwrap bin/coqtop - -you will get an error: +When using "rlwrap coqtop" make sure the version of rlwrap is at least +0.42, otherwise you will get rlwrap: error: Couldn't read completions from /usr/share/rlwrap/completions/coqtop: No such file or directory -This is a known issue: - - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=779692 - -It was fixed upstream in version 0.42, and in a Debian package that, at the time of writing, is not part of Debian stable/testing/sid archives but only of Debian experimental. - - https://packages.debian.org/experimental/rlwrap - -The quick solution is to grab it from there, since it installs fine on Debian stable (jessie). - - cd /tmp - wget http://ftp.us.debian.org/debian/pool/main/r/rlwrap/rlwrap_0.42-1_amd64.deb - sudo dpkg -i rlwrap_0.42-1_amd64.deb - -After that, "rlwrap" works fine with "coqtop". +If this happens either update or use an alternate readline wrapper like "ledit". How to install and configure Merlin (for Emacs) |