HyperDoc fonts problem in Ubuntu 11.04

In a fresh installation of Natty Narwhal HyperDoc (both in FriCAS and Axiom) seems to miss some fonts:

(HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
(HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
(HyperDoc) Cannot load font -adobe-courier-bold-o-normal--18-*-*-*-m-*-iso8859-1 ; using default.
(HyperDoc) Cannot load font -adobe-courier-medium-o-normal--18-*-*-*-m-*-iso8859-1 ; using default.
(HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.

As a result HyperDoc uses some small poorly visible fonts. To solve the problem one should actually install these fonts. I’m not sure where are they exactly, but installing the following packages helps:

xfonts-100dpi
xfonts-75dpi

HyperDoc Customization

Before I actually resolved the issue described above I’ve tried to customize HyperDoc via .Xdefaults file, as described in the Axiom Book. I should say that after all I use the default HyperDoc with the proper default fonts — it has its charm.

Nevertheless here are some hints on tuning HyperDoc. First of all, the right file is .Xresources rather than .Xdefaults (this is valid at least for Ubuntu). This file should be placed into your home directory. I’ve made a template for it based on Axiom book, which you can download. Note that comments are preceded by ! (bang) instead of #.

You probably will be interested in fonts available for you. Issue

xlsfonts

command to get the list of X fonts installed. After everything is done with .Xresources you can update your configuration on the fly with

xrdb -merge ~/.Xresources

That’s all I can help you with.

Advertisements
This entry was posted in FriCAS, Tips and tagged , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s