[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
readable.
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