Hi Norbert, >> $ \ls -lF /usr/bin/xdvi >> -rwxr-xr-x 1 root root 1863 Nov 19 16:08 /usr/bin/xdvi* >> $ > > What is > /usr/bin/xdvi.bin > this is of interest.
Oops. I didn't know (or had long forgotten) that /usr/bin/xdvi is a shell script that calls the real binary executable! $ \ls -lF /usr/bin/xdvi.bin lrwxrwxrwx 1 root root 26 Jun 26 2012 /usr/bin/xdvi.bin -> /etc/alternatives/xdvi.bin* $ \ls -lF /etc/alternatives/xdvi.bin lrwxrwxrwx 1 root root 18 Jun 26 2012 /etc/alternatives/xdvi.bin -> /usr/bin/pxdvi-xaw* You are absolutely right. My xdvi.bin comes from xdvik-ja . Thank you for your help. Ryo -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org