Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle tutorial view bug


view this post on Zulip 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

view this post on Zulip 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: Mar 28 2024 at 20:16 UTC