<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 23 May 2013 05:26, David Wolever <span dir="ltr"><<a href="mailto:david@wolever.net" target="_blank">david@wolever.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div id=":19c" style="overflow:hidden">Oh? Because the API docs for IPython.core.extension[0] suggest:<br>
> If filename is given, the file will be so named (inside the extension directory). Otherwise, the name from the URL will be used. The file must have a .py or .zip extension; otherwise, a ValueError will be raised.</div>

</blockquote></div><br></div><div class="gmail_extra">Yep, sorry, when that was written, I thought that you could make an importable zip file. What Python actually allows is putting a zip file on sys.path to import modules from it, but that's not quite what we need here. I should remember to updated it.<br>

<br>Thomas<br></div></div>