[Mageia-dev] Changing default media names

[Michael Scherer]

Le lundi 21 novembre 2011 à 10:32 +0100, nicolas vigier a écrit :
> On Mon, 21 Nov 2011, Samuel Verschelde wrote:
> 
> > Le lundi 21 novembre 2011 09:57:20, Guillaume Rousse a écrit :
> > > Le 21/11/2011 01:51, Maarten Vanraes a écrit :
> > > > in short: let rpmdrake show this short description (which looks more or
> > > > less like the current name, but clearer) where the current name is now
> > > > and i'm ok with this proposal.
> > > 
> > > Better formulation: let's use different strings for different purposes,
> > > instead of a single generic media 'name' with unclear semantic:
> > > - an identifier for computer, without any metacharacter, to be used in
> > > command line
> > > - a description for humans, to be displayed in GUIs, without any kind of
> > > character restriction
> > 
> > That's it :)
> 
> Ok, so everybody agree with changing the names with the proposal I made,
> and adding an optional description line in media.cfg on the mirrors and
> /etc/urpmi/urpmi.cfg for each media, to be displayed by rpmdrake in a
> description column in drakrpm-edit-media near the name ?

Yeah, let's stop abusing identifier as a user friendly description.


-- 
Michael Scherer