spdegabrielle
2020-6-27 09:35:38

Welcome @franci.dainese !


sandel.konjevic.teodo
2020-6-27 21:30:51

@sandel.konjevic.teodo has joined the channel


sandel.konjevic.teodo
2020-6-27 21:35:56

Hi! What are some basic quality-of-life packages you would recommend for DrRacket? I remember seeing a list thread on reddit but can’t find it now.



sandel.konjevic.teodo
2020-6-27 22:04:49

Ah yes, but that thread only had a few suggestions and no comments


spdegabrielle
2020-6-27 22:05:51

Quickscript-extra is my favourite


spdegabrielle
2020-6-27 22:08:35

Files-viewer



sandel.konjevic.teodo
2020-6-27 22:11:50

Awesome, I’ll check these out! Thanks


blerner
2020-6-27 22:54:44

Is it possible to convince Scribble to add items to the <head> of the document? If you use a custom prefix, it replaces scribble-prefix.html, which is merely enough to replace the doctype. I’ve had some luck stashing <script> tags there and they get run anyway, but is there any programmatic control of the <head> of the page?


mflatt
2020-6-28 00:30:26

Yes: see head-extra in scribble/html-properties


blerner
2020-6-28 01:56:37

Thanks. From the docs, it looks like it only applies to parts, and how would that interact with multi-page HTML compilation? E.g. I’d like to be able to say, “add this thing to the <head> of every .html output file, please”, and say that just once in the main document, without needing to specify it on every @part in the source…