[bug-diffutils] bug#39688: bug#39688: is a socket

2020-02-20 Thread Paul Eggert
On 2/20/20 4:34 AM, Norbert de Jonge wrote: File /media/norbert/a/gnupg/S.gpg-agent is a socket while file /media/norbert/b/gnupg/S.gpg-agent is a socket A simple workaround is to use '-x S.gpg-agent'. It'd be nice if someone would write a patch; do you have the time to write one? It is a vol

[bug-diffutils] bug#39688: bug#39688: is a socket

2020-02-20 Thread Ondřej Svoboda
Dear Norbert, this bugged me a few years ago when I needed to compare full filesystem backups (of my old Maemo). I hope to get back to my old patches but if you are interested (or anyone else), please see https://debbugs.gnu.org/db/19/19508.html (bug #19508, "[PATCH] diff: compare major, mino