<br><br><div class="gmail_quote">On Fri, Jun 15, 2012 at 3:25 PM, Fernando Perez <span dir="ltr"><<a href="mailto:fperez.net@gmail.com" target="_blank">fperez.net@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">i, Jun 15, 2012 at 3:16 PM, MinRK <<a href="mailto:benjaminrk@gmail.com">benjaminrk@gmail.com</a>> wrote:<br>
> Except that we would have to *build* for every commit to check, and hope<br>
> that the build tools also didn't change the output.  This is the whole<br>
> source of the problem - shipping minified js is equivalent to shipping a<br>
> dll.<br>
><br>
> I think the first sensible approach would be to test a current checkout, and<br>
> see if it works.<br></div></blockquote><div><br></div><div>I checked out master, and it's pretty borked (just had a huge merge from upstream).</div><div><br></div><div>So I did a git log on ui/jquery.ui.menubar.js, and lucky for us, there has only been one commit on *that file* since Brian brought in dev jquery-ui.</div>

<div><br></div><div>I did a build, and lo and behold, md5 checksums on jquery-ui.min.{js|css} match.</div><div><br></div><div>We are using <a href="https://github.com/jquery/jquery-ui/tree/ba8f147e4d69948aff4e956333098fb9360e3865">ba8f147</a>.  I will add a note to the minified readme so we don't have to do this again.</div>

<div><br></div><div>-MinRK</div><div><br></div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
<br>
</div>Argh. Getting bumped off the distros doesn't sound great either...  What a drag.<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
IPython-dev mailing list<br>
<a href="mailto:IPython-dev@scipy.org">IPython-dev@scipy.org</a><br>
<a href="http://mail.scipy.org/mailman/listinfo/ipython-dev" target="_blank">http://mail.scipy.org/mailman/listinfo/ipython-dev</a><br>
</div></div></blockquote></div><br>