[Ur] PATCH: add inlineScript directive

austin seipp as at hacks.yi.org
Sat Sep 24 16:52:00 EDT 2011


On Sat, Sep 24, 2011 at 9:18 AM, Adam Chlipala <adamc at impredicative.com> wrote:
> I'd do this with directives instead taking filename to grab data from, URL
> to "mount" it at, and MIME type.  I would also allow omitting the MIME type,
> in which case it is reverse-engineered from the file extension using
> /etc/mime.types.  I would also automatically whitelist each URL given in
> this manner, for injection into the [url] type.

OK, that sounds pretty good actually. Should I file a ticket for this?
I may take a stab at implementing this myself anyway, since it doesn't
sound too hard.

-- 
Regards,
Austin



More information about the Ur mailing list