Your message dated Mon, 06 Apr 2015 04:33:51 +0000
with message-id <[email protected]>
and subject line Bug#779692: fixed in rlwrap 0.42-1
has caused the Debian Bug report #779692,
regarding rlwrap coqtop aborts with spurious error from stale errno
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
779692: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=779692
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: rlwrap
Version: 0.41-1
Tags: fixed-upstream
Forwarded: https://github.com/hanslub42/rlwrap/issues/18
$ rlwrap coqtop
rlwrap: error: Couldn't read completions from
/usr/share/rlwrap/completions/coqtop: No such file or directory
$ ls -l /usr/share/rlwrap/completions/coqtop
-rw-r--r-- 1 root root 730 Oct 25 15:53 /usr/share/rlwrap/completions/coqtop
This error results from an incorrect test with a stale value of errno.
It was reported and fixed uptream in v0.42:
https://github.com/hanslub42/rlwrap/issues/18
https://github.com/hanslub42/rlwrap/commit/691b4a60204da9648914d64627a946914efd6536
Anders
--- End Message ---
--- Begin Message ---
Source: rlwrap
Source-Version: 0.42-1
We believe that the bug you reported is fixed in the latest version of
rlwrap, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mike Miller <[email protected]> (supplier of updated rlwrap package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 06 Apr 2015 00:19:44 -0400
Source: rlwrap
Binary: rlwrap
Architecture: source
Version: 0.42-1
Distribution: experimental
Urgency: medium
Maintainer: Mike Miller <[email protected]>
Changed-By: Mike Miller <[email protected]>
Description:
rlwrap - readline feature command line wrapper
Closes: 779692
Changes:
rlwrap (0.42-1) experimental; urgency=medium
.
* New upstream release.
- Fix spurious error due to stale errno. (Closes: #779692)
* tab-completion-prefix.patch: Drop, applied upstream.
* Bump Standards-Version to 3.9.6. No changes needed.
Checksums-Sha1:
2aab0d91277ef2d9b6cd8074ea421783625d1b81 1866 rlwrap_0.42-1.dsc
8d2ad1be9b6c362439825ae5456a2ba5cdd7eb07 279608 rlwrap_0.42.orig.tar.gz
42f63e0d70aa59f3d57a0197eee5b1787482d136 4568 rlwrap_0.42-1.debian.tar.xz
Checksums-Sha256:
6fd976753c9f9f1c97f85c97252b0cdc1412a620c389eb0dfe398de1439586ef 1866
rlwrap_0.42-1.dsc
5a70d8469db9d0a6630628f2d5d2972ad16c092400b7fbbdf699693ec0f87e44 279608
rlwrap_0.42.orig.tar.gz
bbf26fa46698ec4edba5eb8f3fdeab3804165963981f15177750d32ed4313a5f 4568
rlwrap_0.42-1.debian.tar.xz
Files:
8b5191a4d2252bdea81c18bec49d41ea 1866 utils optional rlwrap_0.42-1.dsc
1e04a9dcc0672b02806cc63a0338176a 279608 utils optional rlwrap_0.42.orig.tar.gz
71ab032194fa40e16d254f96e7ed07ed 4568 utils optional
rlwrap_0.42-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVIgp9AAoJECj6gBpDvdY3qLUQALaIOCswv9iZxuHn0uZMQQUC
T/QqTOGJuO/ieKKRNUGlSXy+kBHFgRVVgjO3akcQNILam9xDKHQTWFviw5Vu7A9M
O8G+v6k0N8rYIMd9djvGUSIigWo4KI+lahLzjw9GNpSAZSk/3uJekrTgQScanZEI
BjkoJckYJgbmd8QHfXUdyPhEK0rFC6gA4+iKeTKbvcEiWTTlUG6q76cdhSaS3vsR
FlZnNVMRQsxTQLhBVGa9hsaLF9iMH2c9+WWmO46ieh1shZbj0T2ZDVA0tUC9iU4/
mhcTkDIJzc9vEJWkXYApWpMM5Nf406TQYfmKuTEc8TNh7gn1cxs7KtRmu8EaYBKs
VViXyCt7BoqW/1xc37CGgK4xBDlCzYzrnkGA+mZRE2QRefkNFQqT/nwJM9Ymn+tr
NliSFAGGO+iNPjoxPh5fkNu+tsp6wVBPzJyNFgCfNfuNhqCgjcw6pxFNP16gpQEJ
LyeI3uiLQVZEHxM8tffHvKedRjLhvoVHWXIvMy3krAwd9fmNpmATXICW3yPLU9Ur
GFgZH0/USMOq6PXPtjzmoAknOzT+dJhk3F9zgpyAahRBh0mP9JVEieWrqxVOlxnR
e5UpzC4Vo6kgLoiqv12Zne02bLONMJUk0oIus/dpedv1nCbVe5UjzgmC1LhXisHh
17mfPZ0R7jmKmolOO/Ia
=eWZ2
-----END PGP SIGNATURE-----
--- End Message ---
