[Mageia-dev] Changing default media names

nicolas vigier boklm at mars-attacks.org
Mon Nov 21 10:32:11 CET 2011


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 ?



More information about the Mageia-dev mailing list