groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Groff] groffview shell script


From: Bernd Warken
Subject: Re: [Groff] groffview shell script
Date: Thu, 29 Nov 2001 14:38:38 +0100
User-agent: Mutt/1.2.5i

On Thu, Nov 29, 2001 at 09:12:38AM +0000, Stewart C. Russell wrote:
> 
> if you really have to resort to heuristics (and trust that X has its
> screen set up right), you could awk something up that says if dpi >=85
> for screen 0, use 100, else 75.
> 
> But if it were me, I'd just use 100, and let those who need 75 mess with
> the script.

Ok, I'll use 100 by default, do some sanity checks using the fontpath
and xdpyinfo, and implement new options `-X ...' `--dpi ...' .

BTW, I'll fix the missing rm of the temp files.

Bernd Warken


reply via email to

[Prev in Thread] Current Thread [Next in Thread]