
@gfredtech has joined the channel

@buoyantair has joined the channel

Hi all

Im learning Racket via HTDP book and the edx course :slightly_smiling_face:

Is anyone here following the course/book?

:smile:

Anyone here o.o

People are sleeping

wow :3

timezones >.<

Scribble experts, is there an easy way to change the pict_###.png filenames generated by embedded images?

@blerner not currently; the name “pict.png” is hardwired, as is the "_###" convention for disambiguating

Bummer. Where is it hardwired, though? If it’s in the html renderer, well, I’ve already patched that before, could do it again if needed

Coming back to this now. Seems like ./pkgs/scribble-lib/scribble/html-render.rkt:1452 defines this via (install-file "pict.png" bstr)
Could that "pict.png"
filename become a make-parameter
instead?

(potentially the same thing should happen for “pict.svg” a few lines later)

@blerner Yes, adding a parameter or initialization argument to render%
would be good.