W3C home > Mailing lists > Public > w3c-wai-gl@w3.org > October to December 2001

.rpm file extension

From: Jonathan Chetwynd <j.chetwynd@btinternet.com>
Date: Tue, 30 Oct 2001 20:06:57 -0000
Message-ID: <003801c1617e$6e1618c0$56917bd5@btopenworld.com>
To: <w3c-wai-gl@w3.org>
Is there part of w3c that considers file extension names?
I was trying to download an .rpm (something like: redhat packet manager)
today and found that Real Player Media opens and tries to play it.

I've been careful to not specify any default applications, and don't appear
to have set this up, Real are currently investigating...
Obviously as time goes by this type of issue could become more prevalent.

btw: I tried to set iexplore as the default for .rpm and this naturally sent
it into an infinite loop, anyone have an idea about how to differentiate
these very different files under windows?

jonathan chetwynd
IT teacher (LDD)
j.chetwynd@btinternet.com
http://www.peepo.com         "The first and still the best picture directory
on the web"
Received on Tuesday, 30 October 2001 15:05:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:47:16 GMT