Re: Bug#100126: Bugs 100126 100836 101203 101540: missing xdvi.bin

[Christoph Martin <martin@uni-mainz.de>]

Steve Kowalik writes:
 > On Wed, Jun 20, 2001 at 11:36:00PM +0200, Christoph Martin uttered:
 > > 
 > > The solution of the problem is not as easy as patching xdvi to call
 > > xdvi.real because auf update-alternatives.
 > >
 > Ahhh.
 > 
 > > Can you please verify some things for me to find out about the
 > > problem: 
 > > 
 > > Please run:
 > > 
 > > 	update-alternatives --display xdvi.bin
 > >
 > broken:~# update-alternatives --display xdvi.bin
 > xdvi.bin - status is manual.

Here is your problem. ---^

  update-alternatives --auto xdvi.bin 

should fix your links.
I don't know why it was switched to manual.

 >  link currently points to /usr/bin/xdvi.real
 >  /usr/bin/xdvi.real - priority 30
 >  Current `best' version is /usr/bin/xdvi.real.
 >  
 > > 	ls -l /etc/alternatives/xdvi.bin /usr/bin/xdvi* /usr/X11R6/bin/xdvi* 
 > >
 > broken:~# ls -l /etc/alternatives/xdvi.bin /usr/bin/xdvi*
 > /usr/X11R6/bin/xdvi* 
 > ls: /usr/X11R6/bin/xdvi*: No such file or directory
 > lrwxrwxrwx    1 root     root           18 May 18 06:01
 > /etc/alternatives/xdvi.bin -> /usr/bin/xdvi.real
 > -rwxr-xr-x    1 root     root         2259 Jun  7 18:05 /usr/bin/xdvi
 > -rwxr-xr-x    1 root     root       140316 Jun  4 03:45 /usr/bin/xdvi.real
 > 
 > > Also please telle me if you made a new install or if you did an
 > > upgrade from a previous (which?) version .
 > >
 > That's a tough one.
 > I think it was from 1.0.3 (?) to 1.0.7. I'm not quite sure at all, unfort.
 > 

I just did the same and it worked for me.  Hmm.

Christoph