1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<TITLE> [Mageia-dev] Changing default media names
</TITLE>
<LINK REL="Index" HREF="index.html" >
<LINK REL="made" HREF="mailto:mageia-dev%40mageia.org?Subject=Re%3A%20%5BMageia-dev%5D%20Changing%20default%20media%20names&In-Reply-To=%3C20111121093211.GG21938%40mars-attacks.org%3E">
<META NAME="robots" CONTENT="index,nofollow">
<META http-equiv="Content-Type" content="text/html; charset=us-ascii">
<LINK REL="Previous" HREF="009672.html">
<LINK REL="Next" HREF="009674.html">
</HEAD>
<BODY BGCOLOR="#ffffff">
<H1>[Mageia-dev] Changing default media names</H1>
<B>nicolas vigier</B>
<A HREF="mailto:mageia-dev%40mageia.org?Subject=Re%3A%20%5BMageia-dev%5D%20Changing%20default%20media%20names&In-Reply-To=%3C20111121093211.GG21938%40mars-attacks.org%3E"
TITLE="[Mageia-dev] Changing default media names">boklm at mars-attacks.org
</A><BR>
<I>Mon Nov 21 10:32:11 CET 2011</I>
<P><UL>
<LI>Previous message: <A HREF="009672.html">[Mageia-dev] Changing default media names
</A></li>
<LI>Next message: <A HREF="009674.html">[Mageia-dev] Changing default media names
</A></li>
<LI> <B>Messages sorted by:</B>
<a href="date.html#9673">[ date ]</a>
<a href="thread.html#9673">[ thread ]</a>
<a href="subject.html#9673">[ subject ]</a>
<a href="author.html#9673">[ author ]</a>
</LI>
</UL>
<HR>
<!--beginarticle-->
<PRE>On Mon, 21 Nov 2011, Samuel Verschelde wrote:
><i> Le lundi 21 novembre 2011 09:57:20, Guillaume Rousse a écrit :
</I>><i> > Le 21/11/2011 01:51, Maarten Vanraes a écrit :
</I>><i> > > in short: let rpmdrake show this short description (which looks more or
</I>><i> > > less like the current name, but clearer) where the current name is now
</I>><i> > > and i'm ok with this proposal.
</I>><i> >
</I>><i> > Better formulation: let's use different strings for different purposes,
</I>><i> > instead of a single generic media 'name' with unclear semantic:
</I>><i> > - an identifier for computer, without any metacharacter, to be used in
</I>><i> > command line
</I>><i> > - a description for humans, to be displayed in GUIs, without any kind of
</I>><i> > character restriction
</I>><i>
</I>><i> That's it :)
</I>
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 ?
</PRE>
<!--endarticle-->
<HR>
<P><UL>
<!--threads-->
<LI>Previous message: <A HREF="009672.html">[Mageia-dev] Changing default media names
</A></li>
<LI>Next message: <A HREF="009674.html">[Mageia-dev] Changing default media names
</A></li>
<LI> <B>Messages sorted by:</B>
<a href="date.html#9673">[ date ]</a>
<a href="thread.html#9673">[ thread ]</a>
<a href="subject.html#9673">[ subject ]</a>
<a href="author.html#9673">[ author ]</a>
</LI>
</UL>
<hr>
<a href="https://www.mageia.org/mailman/listinfo/mageia-dev">More information about the Mageia-dev
mailing list</a><br>
</body></html>
|
