[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62860] [gropdf] trying to access URW fonts from wrong directory
From: |
G. Branden Robinson |
Subject: |
[bug #62860] [gropdf] trying to access URW fonts from wrong directory |
Date: |
Wed, 12 Oct 2022 16:09:11 -0400 (EDT) |
Follow-up Comment #16, bug #62860 (project groff):
[comment #15 comment #15:]
> [comment #14 comment #14:]
> > What we know:-
> >
> > The filepaths in the built download file are correct.
> > So gropdf must be reading a different download.
> > The locations to search for the download file are hard-coded in line 59.
> > After the path in GROFF_FONTPATH
>
> I am uncertain of the wisdom of using GROFF_FONT_PATH, whose semantics are a
search path for groff device and font _description_ files, also as a search
path for Type 1 or other font files.
Er, excuse me--that's not what's happening here. GROFF_FONT_PATH is being
used to locate the "download" file, which is a groffy thing, so no abuse is
taking place.
And the semantics of practically every Unix environment variable with a name
ending in _PATH are that the first match wins.
That's good. If we can just get our resolution order straight, then, and
maybe talk Peter into unwinding that copy-system-to-site change, then we'll
have more robust operation.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62860>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, (continued)
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, G. Branden Robinson, 2022/10/09
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, G. Branden Robinson, 2022/10/09
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, John Gardner, 2022/10/10
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, G. Branden Robinson, 2022/10/10
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, John Gardner, 2022/10/10
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, G. Branden Robinson, 2022/10/10
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, John Gardner, 2022/10/10
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, G. Branden Robinson, 2022/10/10
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, Deri James, 2022/10/10
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, G. Branden Robinson, 2022/10/12
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory,
G. Branden Robinson <=
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, John Gardner, 2022/10/14
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, Deri James, 2022/10/14
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, John Gardner, 2022/10/14
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, Deri James, 2022/10/15
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, John Gardner, 2022/10/15
- [bug #62860] [gropdf] trying to access URW fonts from wrong directory, G. Branden Robinson, 2022/10/23