fc7 should be f7

[Tim]

Tim:
>> The simple way to avoid that issue would be for the distribution
>> documentation (website, and what comes with it), to refer to itself
>> using its full name and preferred abbrevation, close to the start.  That
>> helps prevent /usrs ;-) from developing their own nicknames for it.

Rahul Sundaram:
> There is the full name prominently listed everywhere. There is no 
> preferred abbreviation. I would prefer users use the full name.

I'd write that into the documentation, then.  But they're going to do so
anyway.  Why not head off the problems and make a suggestion to use FC7,
if they *must* shorten it?

-- 
[tim at bigblack ~]$ rm -rfd /*^H^H^H^H^H^H^H^H^H^Huname -ipr
2.6.21-1.3228.fc7 i686 i386

Using FC 4, 5, 6 & 7, plus CentOS 5.  Today, it's FC7.

Don't send private replies to my address, the mailbox is ignored.
I read messages from the public lists.