Bug#99710: XDvi doesn't work from menu

[Adrian Bunk <bunk@fs.tum.de>]

On Sat, 2 Jun 2001, Shaul Karl wrote:

> Package: tetex-bin
> Version: 1.0.7+20001218-3
> Severity: normal
>
> Running /usr/bin/xdvi from bash command line works.
> When using the menu, ~/.xsession-errors gets:
>
> /bin/sh: /usr/bin/X11/xdvi: No such file or directory
> /bin/sh: exec: /usr/bin/X11/xdvi: cannot execute: No such file or directory
>...

Could it be the following happened:

You upgraded tetex-bin.
In the same X-session you had the problem.
The next time you start X the problem is gone.

?


If yes, the problem is that the xdvi binary has moved in 1.0.7+20001218-3
but you won't get the new menu entries before you restart your window
manager.

(Something similar happens with other menu programs like e.g. pdmenu.)


cu
Adrian

-- 
A "No" uttered from deepest conviction is better and greater than a
"Yes" merely uttered to please, or what is worse, to avoid trouble.
                -- Mahatma Ghandi