[Mageia-dev] Changing default media names

[zezinho]

Le dimanche 20 novembre 2011 19:43:55, nicolas vigier a écrit :
> I think it's better because :
>  - it doesn't have spaces, so doesn't need to be quoted in urpmi command
> lines - doesn't have capitals, so easier to type right

Yes, but it looks much less human... at least with underscores it would be 
readable.

In fact, the problem is our GUI : edit-urpm-media should be reworked to have 
less lines, with several checkboxes to edit medias.