[Mageia-dev] Changing default media names

zezinho lists.jjorge at free.fr
Sun Nov 20 20:55:18 CET 2011

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 

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

More information about the Mageia-dev mailing list