if uname -s can differentiate Debian from other systems, it's easy enough to
make /usr/share/fonts/freetype as the initial directory for those systems.
Michael
On 4/30/07 1:16 AM, "Hamish" <hamish_nospam@yahoo.com> wrote:
Michael Barton wrote:
I've done a font selection dialog for the GUI that helps set default
display fonts. Let me know if it works OK with your system. Does it
start you out at /usr/lib/xll/fonts?if I choose TrueType, it goes to /usr/X11R6/lib/X11/fonts (that's where
/usr/lib/xll/fonts symlinks to). I then need to manually navigate to
/usr/share/fonts/freetype, but Debian may well be doing its own thing
there and can+will patch as needed (without complaint).stroke fonts need the path and extension stripped off of them to work.
e.g. remove .ppm extension: (from NVIZ)if { [string compare [file extension $fname] ".ppm"] == 0 } then {
set fname [file rootname $fname]
}from here:
File Operationsyou need to do [file tail $filename] as well as rootname.
the font setting works, but doesn't survive a restart of gis.m.
(still, good progress!)
Hamish
ps- catch needed for open/close of text files or just execs?
__________________________________________
Michael Barton, Professor of Anthropology
School of Human Evolution & Social Change
Center for Social Dynamics & Complexity
Arizona State University
phone: 480-965-6213
fax: 480-965-7671
www: http://www.public.asu.edu/~cmbarton