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