[plt-scheme] new version of prog langs text (also making the collection work on r301.5 from svn)

--- Richard Cobbe <cobbe at ccs.neu.edu> wrote:

> 
> This is perhaps true, but Gregory is right: the web server is sending
> the file with a MIME type of text/plain (as wget clearly shows).  We
> have a better chance, I figure, of adjusting the server's
> configuration
> than we do of fixing Safari.

Is it even a matter of "fixing" Safari (or IE)? If you tell the web
browser that you're sending text/plain, then it could be argued that it
is behaving correctly (though it could also be argued that tacking on a
".txt" is inappropriate).

At any rate, the MIME type has two parts: a type and subtype. Given
that the file is text (something I didn't realize until last night),
then maybe a new subtype would be appropriate: perhaps text/x-plt (the
"x-" places the subtype in a nonregistered, local use namespace). This
is similar to text/plain, text/html, text/xml, etc. But this is a bit
of a grey area, too. Since the file is never meant to be presented for
viewing, an application/* media-type might make more sense, even if it
is text. 

Anyway, I didn't know I could enter a URL (instead of a filename) for
"install *.plt file". Maybe the real answer is that this is what people
should be doing.

===
Gregory Woodhouse  <gregory.woodhouse at sbcglobal.net>
"All truth passes through three stages: First, it is ridiculed.
Second, it is violently opposed. Third, it is accepted as
being self-evident."
--Arthur Schopenhauer