Draft 8.0 Mac build directions
ben at well-typed.com
Wed May 4 09:50:13 UTC 2016
Brandon Allbery <allbery.b at gmail.com> writes:
> On Tue, May 3, 2016 at 11:32 AM, Ben Gamari <ben at well-typed.com> wrote:
>> About font installation: do you know any any way to accomplish this
>> at the terminal?
> Just copy them to the appropriate directory (/Library/Fonts or
> ~/Library/Fonts); fontd will see and register them automatically.
> Font Book automates this and includes some basic sanity checks; it does not
> do any extra registration or etc.
Ahh, great. Thanks!
Carter, could you add this to your draft? I doubt I am the only one who
works primarily from the command line.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 472 bytes
Desc: not available
More information about the ghc-devs