Re: [racket-users] racket/draw: how to extract the path from a font% object?

2020-04-01 Thread David Storrs
I knocked together a very minimal pure-Racket library for this so you don't have to FFI. It won't give you all the bells and whistles, but it should be a good starting point. https://pkgd.racket-lang.org/pkgn/package/font-finder Docs: https://github.com/dstorrs/font-finder/blob/master/README.m

[racket-users] http basic auth needed for github

2020-04-01 Thread 'John Clements' via Racket Users
Relevance: our build scripts make automated queries to GitHub. Historically, GitHub has allowed authentication using query parameters; both a user token and a client user/password pair could be specified as part of the URL. It now appears that this is being deprecated, per https://developer.git

[racket-users] Is there an ICMP library?

2020-04-01 Thread David Storrs
Is there a way to generate ICMP messages from Racket, the way there is a UDP and TCP library? My Google-fu is apparently insufficient and the Reference doesn't include anything. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe fro

Re: [racket-users] racket/draw: how to extract the path from a font% object?

2020-04-01 Thread Matthew Butterick
The answer is you can't, through pure Racket, because Racket delegates the nitty-gritty of font-file resolution to external font-handling libraries. It is possible, however, to call into the `fontconfig` library via the FFI and make it do the heavy lifting of 1) scanning font directories to amas

Re: [racket-users] Switch off type checking via typed/racket/no-check fails on typed big-bang

2020-04-01 Thread Marc Kaufmann
Thanks Ben. On Tue, Mar 31, 2020 at 4:41 AM Ben Greenman wrote: > On 3/25/20, Marc Kaufmann wrote: > > Hi, > > > > I am trying to switch off type checking on a file so that I can prototype > > faster without the wait for the type checker. However, my code also uses > > typed/2htdp/universe and