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.