Olivier Ramare on Mon, 06 Aug 2007 10:27:06 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
What dvi previewer is being used? |
Dear all, I located pari-doc and installed it, yes, shame on me for not locating it before, too many installations :-p A problem was left (solved below): the command ??primes under gp gives a newline and nothing else. I could not locate the environment variable that decides of the previewer (non are given in man pages). (the problem of xdvi is with debian: /usr/bin/xdvi is a script that calls /usr/bin/xdvi.bin -> /etc/alternatives/xdvi.bin that calls /usr/bin/xdvi.real which doesn't exist, mended with : ln -s xdvi-xaw.bin xdvi.real) Still, I would appreciate being able to use kdvi instead. Best ! Amities, Olivier --- I leave this message on this list in case anyone had/has the same problem --