[Ur] PATCH: add inlineScript directive

Adam Chlipala adamc at impredicative.com
Sat Sep 24 16:52:47 EDT 2011


austin seipp wrote:
> 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.
>    

If you want to implement it, that would be best from my perspective. ;)



More information about the Ur mailing list