On Aug 20, 8:49 pm, Robert Bradshaw <[EMAIL PROTECTED]> wrote: > > It would be nice if one could download it right from that page...
True, but things aren't that easy. First, it should work without javascript (or two ways as a fallback if disabled, therefore I focus on a non-javascript solution), there are mirrors to keep care of - since not all of them are always up to date. e.g. it's more annoying to provide direct links that end in a 404-not-found error and a disappointed user than searching in a directory (at least I think so!). I also can't check this using javascript, because of the strict same origin policies in webbrowsers. Those websites where this is much more elegant, use dynamic dns (we don't have this) and a proxy system at each mirror for monitoring (they call home and tell the master what they serve). And last but not least, there is no dynamic part running on the server that could help either. For example, I would be happy to embed the whole website into gwt and tomcat/jsp/whatever to make it dynamic, but this is not so easy maintainable and wouldn't solve everything either. This direct link to that os-specific page is also only the first step. My next task is to create a direct index file for all subdirectories, also one in the mirrors, and links to the direct directory listings to check if something is missing or otherwise wrong. If you have better ideas or more experience, I'm open for any suggestions ;) H --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
