It looks like SourceForge has re-enabled their shell service, details
below. Should we use it, or stick to the local-build plan for website
On Tue, Nov 25, 2008 at 23:00, SourceForge.net Team
> 5. INTERACTIVE SHELL SERVICE
> shell.sourceforge.net -- most SourceForge.net developers have used our old
> shell service at one time or another. The old shell service was prone to
> failure and abuse; it was part of the original SourceForge.net service
> offering and really had not evolved much over the years. With our
> datacenter migration wrapping-up at the end of the September, we set our
> sights on replacing the old shell service with a much more sustainable,
> open, and useful service.
> We launched our new interactive shell service at the end of last month, and
> have launched a series of improvements earlier this month. Our new shell
> service is built for improved resilience and performance, permits a much
> broader range of access, and applies a more reasonable set of restrictions
> than our past shell offering (namely, we limit your data access to the data
> for your own projects).
> This also marks the first time that we have implemented a "built to suit"
> feature -- we included the functionality that the majority of our users
> requested in a survey we ran. Feedback since launch has been very
> positive, and we (like our end-users) are pleased with the reliability and
> new options that our new shell service provides.
> For more information:
> * Interactive shell service: