Email Gateway (Aug 18 2022 at 15:43): Email Gateway (Aug 18 2022 at 15:43):From: Tambet <qtvali@gmail.com>
There is a bug/lack of consideration of command:
isabelle doc _docname_
It's that it's by default tries to use xpdf.
[root@qtvali Documents]# isabelle doc intro
/usr/local/Isabelle2009-2/lib/Tools/display: line 80: exec: xpdf: not found
On my Fedora, Okular is default pdf viewer and it seems that installing
Acrobat Reader has changed this connection.
After some searching it seems that "xdg-open intro.pdf" is a command to do
the right thing:
http://stackoverflow.com/questions/1044217/bash-getting-standard-program-for-file-type(contains
OS X, Cygwin and Linux answer)
[ On Windows, it's probably "start". ]
Tambet
Email Gateway (Aug 18 2022 at 15:43):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi,
you may consider adding sth. like
PDF_VIEWER=okular
to your ~/.isabelle/etc/settings file
Hope this helps,
Florian
signature.asc
Last updated: Nov 21 2024 at 12:39 UTC