<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta content="text/html;charset=UTF-8" http-equiv="Content-Type"> </head> <body bgcolor="#ffffff" text="#000000"> Robby Findler wrote at 05/18/2009 10:04 AM: <blockquote cite="mid:932b2f1f0905180704r6af21751k68f67634077234c5@mail.gmail.com" type="cite"> <pre wrap="">On Mon, May 18, 2009 at 8:51 AM, Neil Van Dyke <a class="moz-txt-link-rfc2396E" href="mailto:neil@neilvandyke.org"><neil@neilvandyke.org></a> wrote: </pre> <blockquote type="cite"> <pre wrap="">Now I only need a way to say "require the latest version that's in PLaneT, even if you already have a version installed." </pre> </blockquote> <pre wrap=""> The easiest thing to do would be to tell them to uninstall their current version of sicp, ie: planet remove ...</pre> </blockquote> I actually don't think that's sufficiently easy for the user. I tried typing out step-by-step instructions for it, and then I deleted them out of embarrassment. I replaced the instructions with a vague reference to the "planet" commands the user would need if their version was too old to have the "uninstall-sicp" procedure. <blockquote cite="mid:932b2f1f0905180704r6af21751k68f67634077234c5@mail.gmail.com" type="cite"> <blockquote type="cite"> <pre wrap="">I'm thinking that, if user already has a version installed, then that version will have an "upgrade-sicp" procedure in the SICP language. This procedure would automate going to PLaneT to find the latest version, doing a dynamic require of it, then instruct the user to restart DrScheme. There should also be a "Upgrade SICP" menu item. (Without obvious HtDP jokes.) </pre> </blockquote> <pre wrap=""> I think you can do that using</pre> </blockquote> Thanks, I think that's the way to solve the problem for the SICP package. For other PLaneT packages, in addition to the earlier need for DrScheme GUI for installing a package from PLaneT that we talked about recently, I think we need a general mechanism for selectively upgrading PLaneT packages. For example, some GUI for user to say "update this one package to the latest version." Or, better yet, GUI that presents list of outdated versions, and lets user select which ones to update. <div class="moz-signature">-- <a class="moz-txt-link-freetext" href="http://www.neilvandyke.org/">http://www.neilvandyke.org/</a> </div> </body> </html>