[Mageia-dev] Changing default media names

Mon Nov 21 10:56:02 CET 2011

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
+
+