Excusez moi pour mon insistance
Comme vous le voyez je ne suis pas un informaticien, mais quelqu'un qui
s'intéressent à l'informatique depuis 10 ans. J'ai commencé avec le DOS 3.2
à l'époque jusqu'au 6.22 et ensuite connu toute les versions de windows.
Honnêtement pour un autodidacte je me débrouille un peu (j'ai monté un petit
réseau avec 10 PC sous Win 2000 Pro, configuré les cartes et tous le reste),
en étant patient et surtout logique j'y suis arrivé, mais bon, il a fallu
gratter.
Sérieusement, est ce qu'une personne de mon niveau peux espérer utiliser
linux pour faire des serveurs (mails, intra, etc)
Michel Talon, dans le message <bv41d8$1v6a$, a écrit :
Je ne me suis pas du tout vautré, par contre j'aimerais que tu me dises comment tu fais par exemple pour extraîre tous les fichiers .afm, .pfb etc. correspondand à une fonte donné sous texmf avec les options de tar, qu'on rigole un peu.
Tu raisonnes comme une savate. La commande ifconfig, elle n'est pas utile, pour trouver tous les fichiers .afm, .pfb, etc. correspondant à une police donnée, n'est-ce pas ? Est-elle inutile pour autant ?
Michel Talon, dans le message <bv41d8$1v6a$1@asmodee.lpthe.jussieu.fr>,
a écrit :
Je ne me suis pas du tout vautré, par contre j'aimerais que tu me dises
comment tu fais par exemple pour extraîre tous les fichiers .afm,
.pfb etc. correspondand à une fonte donné sous texmf avec les options
de tar, qu'on rigole un peu.
Tu raisonnes comme une savate. La commande ifconfig, elle n'est pas
utile, pour trouver tous les fichiers .afm, .pfb, etc. correspondant à
une police donnée, n'est-ce pas ? Est-elle inutile pour autant ?
Michel Talon, dans le message <bv41d8$1v6a$, a écrit :
Je ne me suis pas du tout vautré, par contre j'aimerais que tu me dises comment tu fais par exemple pour extraîre tous les fichiers .afm, .pfb etc. correspondand à une fonte donné sous texmf avec les options de tar, qu'on rigole un peu.
Tu raisonnes comme une savate. La commande ifconfig, elle n'est pas utile, pour trouver tous les fichiers .afm, .pfb, etc. correspondant à une police donnée, n'est-ce pas ? Est-elle inutile pour autant ?
Michel BILLAUD
writes:
Au total *tout le monde* paie le prix de la complexité accrue pour des choses dont il ne se sert jamais, ne serait-ce par exemple que l'impossibilité de trouver dans la page man l'option qu'il cherche au milieu du fouillis des autres.
Elles sont en général rangées pas catégories et/ou dans l'ordre alphabétique. Alros il faut savoir si les commandes sont faites - pour ceux qui en ont besoin, quite à lire la doc. - a ceux qui ne veulent pas lire la doc, et qui preferent s'en passer.
de détails. Voici un exemple, Tar, justement: Une des choses qui ennuie souvent avec tar, c'est quand on veut dans une directory faire un tar *sélectif*, choisir uniquement certaines sous directories en exclure d'autres, voire des choix plus compliqués. Il existe des tas d'options dans tar qui ont plus ou moins a voir avec ça, mais leur fonctionnement est toujours bizarre et fait rarement ce qu'on veut, où alors aprés avoir passé un bon moment à expérimenter. Or il existe un outil beaucoup plus puissant que les options de tar et qui permet de faire exactement ce qu'on veut de façon générale, c'est find couplé avec grep ou grep -v.
Faut savoir ce qu'on veut. - si on veut principalement donner des répertoires complets à sauvegarder on emploie tar - si on veut donner une liste exhaustive de fichiers, on emploie cpio (qui fabrique des archives au format tar si on lui demande gentiment)/
MB
-- Michel BILLAUD LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792 351, cours de la Libération http://www.labri.fr/~billaud 33405 Talence (FRANCE)
talon@lpthe.jussieu.fr writes:
Au total *tout le monde* paie le prix de la complexité accrue pour des choses
dont il ne se sert jamais, ne serait-ce par exemple que l'impossibilité de
trouver dans la page man l'option qu'il cherche au milieu du fouillis des
autres.
Elles sont en général rangées pas catégories et/ou dans l'ordre alphabétique.
Alros il faut savoir si les commandes sont faites
- pour ceux qui en ont besoin, quite à lire la doc.
- a ceux qui ne veulent pas lire la doc, et qui preferent s'en passer.
de détails. Voici un exemple, Tar, justement:
Une des choses qui ennuie souvent avec tar, c'est quand on veut dans une
directory faire un tar *sélectif*, choisir uniquement certaines sous
directories en exclure d'autres, voire des choix plus compliqués. Il existe
des tas d'options dans tar qui ont plus ou moins a voir avec ça, mais leur
fonctionnement est toujours bizarre et fait rarement ce qu'on veut, où alors
aprés avoir passé un bon moment à expérimenter. Or il existe un outil beaucoup
plus puissant que les options de tar et qui permet de faire exactement ce
qu'on veut de façon générale, c'est find couplé avec grep ou grep -v.
Faut savoir ce qu'on veut.
- si on veut principalement donner des répertoires complets à sauvegarder
on emploie tar
- si on veut donner une liste exhaustive de fichiers, on emploie cpio
(qui fabrique des archives au format tar si on lui demande gentiment)/
MB
--
Michel BILLAUD billaud@labri.fr
LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792
351, cours de la Libération http://www.labri.fr/~billaud
33405 Talence (FRANCE)
Au total *tout le monde* paie le prix de la complexité accrue pour des choses dont il ne se sert jamais, ne serait-ce par exemple que l'impossibilité de trouver dans la page man l'option qu'il cherche au milieu du fouillis des autres.
Elles sont en général rangées pas catégories et/ou dans l'ordre alphabétique. Alros il faut savoir si les commandes sont faites - pour ceux qui en ont besoin, quite à lire la doc. - a ceux qui ne veulent pas lire la doc, et qui preferent s'en passer.
de détails. Voici un exemple, Tar, justement: Une des choses qui ennuie souvent avec tar, c'est quand on veut dans une directory faire un tar *sélectif*, choisir uniquement certaines sous directories en exclure d'autres, voire des choix plus compliqués. Il existe des tas d'options dans tar qui ont plus ou moins a voir avec ça, mais leur fonctionnement est toujours bizarre et fait rarement ce qu'on veut, où alors aprés avoir passé un bon moment à expérimenter. Or il existe un outil beaucoup plus puissant que les options de tar et qui permet de faire exactement ce qu'on veut de façon générale, c'est find couplé avec grep ou grep -v.
Faut savoir ce qu'on veut. - si on veut principalement donner des répertoires complets à sauvegarder on emploie tar - si on veut donner une liste exhaustive de fichiers, on emploie cpio (qui fabrique des archives au format tar si on lui demande gentiment)/
MB
-- Michel BILLAUD LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792 351, cours de la Libération http://www.labri.fr/~billaud 33405 Talence (FRANCE)
talon
Nicolas George wrote:
Michel Talon, dans le message <bv41d8$1v6a$, a écrit :
Je ne me suis pas du tout vautré, par contre j'aimerais que tu me dises comment tu fais par exemple pour extraîre tous les fichiers .afm, .pfb etc. correspondand à une fonte donné sous texmf avec les options de tar, qu'on rigole un peu.
Tu raisonnes comme une savate. La commande ifconfig, elle n'est pas utile, pour trouver tous les fichiers .afm, .pfb, etc. correspondant à une police donnée, n'est-ce pas ? Est-elle inutile pour autant ?
Je ne comprends rien à ce que tu racontes. J'ai indiqué une technique permettant de faire une archive avec des critères de recherche un peu merdiques. Il se trouve que dans mon cas j'ai cherché à extraire tous les fichiers de fontes pour une fonte donnée de façon à les recopier sur une autre machine. C'est comme ça que j'y ai pensé aprés avoir séché dans l'utilisation des options de tar. Je ne dis pas que c'est impossible, je dis que je n'ai pas trouvé, que par contre cette technique est facile. Comme si c'était un crime de lèse majesté on vient m'objecter des problèmes de sécurité qui n'ont absolument aucun rapport, des contre exemples tirés non pas de derrière les fagots mais du fond d'un puits de mine, et maintenant tu viens m'objecter un truc de fous. Tout ça pour ne pas reconnaître que dans la plupart des cas concrets ce que j'ai dit peut être éminemment utile, tandis que avec les options de tar même les choses les plus triviale sont presque infaisables sans passer par des contorsions épouvantables.
--
Michel TALON
Nicolas George <george@clipper.ens.fr> wrote:
Michel Talon, dans le message <bv41d8$1v6a$1@asmodee.lpthe.jussieu.fr>,
a écrit :
Je ne me suis pas du tout vautré, par contre j'aimerais que tu me dises
comment tu fais par exemple pour extraîre tous les fichiers .afm,
.pfb etc. correspondand à une fonte donné sous texmf avec les options
de tar, qu'on rigole un peu.
Tu raisonnes comme une savate. La commande ifconfig, elle n'est pas
utile, pour trouver tous les fichiers .afm, .pfb, etc. correspondant à
une police donnée, n'est-ce pas ? Est-elle inutile pour autant ?
Je ne comprends rien à ce que tu racontes. J'ai indiqué une technique
permettant de faire une archive avec des critères de recherche un peu
merdiques. Il se trouve que dans mon cas j'ai cherché à extraire tous
les fichiers de fontes pour une fonte donnée de façon à les recopier sur
une autre machine. C'est comme ça que j'y ai pensé aprés avoir séché
dans l'utilisation des options de tar. Je ne dis pas que c'est
impossible, je dis que je n'ai pas trouvé, que par contre cette
technique est facile. Comme si c'était un crime de lèse majesté on vient
m'objecter des problèmes de sécurité qui n'ont absolument aucun rapport,
des contre exemples tirés non pas de derrière les fagots mais du fond d'un
puits de mine, et maintenant tu viens m'objecter un truc de fous. Tout
ça pour ne pas reconnaître que dans la plupart des cas concrets ce que
j'ai dit peut être éminemment utile, tandis que avec les options de tar
même les choses les plus triviale sont presque infaisables sans passer
par des contorsions épouvantables.
Michel Talon, dans le message <bv41d8$1v6a$, a écrit :
Je ne me suis pas du tout vautré, par contre j'aimerais que tu me dises comment tu fais par exemple pour extraîre tous les fichiers .afm, .pfb etc. correspondand à une fonte donné sous texmf avec les options de tar, qu'on rigole un peu.
Tu raisonnes comme une savate. La commande ifconfig, elle n'est pas utile, pour trouver tous les fichiers .afm, .pfb, etc. correspondant à une police donnée, n'est-ce pas ? Est-elle inutile pour autant ?
Je ne comprends rien à ce que tu racontes. J'ai indiqué une technique permettant de faire une archive avec des critères de recherche un peu merdiques. Il se trouve que dans mon cas j'ai cherché à extraire tous les fichiers de fontes pour une fonte donnée de façon à les recopier sur une autre machine. C'est comme ça que j'y ai pensé aprés avoir séché dans l'utilisation des options de tar. Je ne dis pas que c'est impossible, je dis que je n'ai pas trouvé, que par contre cette technique est facile. Comme si c'était un crime de lèse majesté on vient m'objecter des problèmes de sécurité qui n'ont absolument aucun rapport, des contre exemples tirés non pas de derrière les fagots mais du fond d'un puits de mine, et maintenant tu viens m'objecter un truc de fous. Tout ça pour ne pas reconnaître que dans la plupart des cas concrets ce que j'ai dit peut être éminemment utile, tandis que avec les options de tar même les choses les plus triviale sont presque infaisables sans passer par des contorsions épouvantables.
--
Michel TALON
george
Michel Talon, dans le message <bv451b$20ed$, a écrit :
Je ne comprends rien à ce que tu racontes.
Et tu le montres bien.
Tout ça pour ne pas reconnaître que dans la plupart des cas concrets ce que j'ai dit peut être éminemment utile, tandis que avec les options de tar même les choses les plus triviale sont presque infaisables sans passer par des contorsions épouvantables.
Tu as montré *un* exemple. Pour pouvoir affirmer qu'une option est inutile, il ne suffit pas d'exhiber un exemple, il faut montrer que dans _tous_ les cas on peut faire plus simple.
Évidemment, ce n'est pas rare de voir des gens avoir du mal avec les quantificateurs existentiel et universel.
Michel Talon, dans le message <bv451b$20ed$1@asmodee.lpthe.jussieu.fr>,
a écrit :
Je ne comprends rien à ce que tu racontes.
Et tu le montres bien.
Tout
ça pour ne pas reconnaître que dans la plupart des cas concrets ce que
j'ai dit peut être éminemment utile, tandis que avec les options de tar
même les choses les plus triviale sont presque infaisables sans passer
par des contorsions épouvantables.
Tu as montré *un* exemple. Pour pouvoir affirmer qu'une option est
inutile, il ne suffit pas d'exhiber un exemple, il faut montrer que dans
_tous_ les cas on peut faire plus simple.
Évidemment, ce n'est pas rare de voir des gens avoir du mal avec les
quantificateurs existentiel et universel.
Michel Talon, dans le message <bv451b$20ed$, a écrit :
Je ne comprends rien à ce que tu racontes.
Et tu le montres bien.
Tout ça pour ne pas reconnaître que dans la plupart des cas concrets ce que j'ai dit peut être éminemment utile, tandis que avec les options de tar même les choses les plus triviale sont presque infaisables sans passer par des contorsions épouvantables.
Tu as montré *un* exemple. Pour pouvoir affirmer qu'une option est inutile, il ne suffit pas d'exhiber un exemple, il faut montrer que dans _tous_ les cas on peut faire plus simple.
Évidemment, ce n'est pas rare de voir des gens avoir du mal avec les quantificateurs existentiel et universel.
Michel BILLAUD
writes:
T'en connais beaucoup des industriels qui "passent des contrats à tour de bras dans la vérification" hors de l'aéronautique et de l'espace,
Dans not'labo y en a qui ont vérifié du logiciel de compteur électrique (interrogeable à distance par la compagnie d'électricité).
c'est à dire des
domaines où il faut éviter la tuile à tout prix, et où on est prêt à tout: -pour se couvrir en cas de tuile, car il en arrive toujours. -à se livrer à n'importe quel rite vaudou pour se rassurer.
La tuile, ça aurait été d'aller faire des mises à jour sur quelques millions de compteurs en cas de bug. Ca valait bien une vérif. (Ont-ils trouvé une erreur ? héhé, secret industriel).
MB -- Michel BILLAUD LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792 351, cours de la Libération http://www.labri.fr/~billaud 33405 Talence (FRANCE)
talon@lpthe.jussieu.fr writes:
T'en connais beaucoup des industriels qui "passent des contrats à tour de bras
dans la vérification" hors de l'aéronautique et de l'espace,
Dans not'labo y en a qui ont vérifié du logiciel de compteur électrique
(interrogeable à distance par la compagnie d'électricité).
c'est à dire des
domaines où il faut éviter la tuile à tout prix, et où on est prêt à tout:
-pour se couvrir en cas de tuile, car il en arrive toujours.
-à se livrer à n'importe quel rite vaudou pour se rassurer.
La tuile, ça aurait été d'aller faire des mises à jour sur quelques
millions de compteurs en cas de bug. Ca valait bien une vérif.
(Ont-ils trouvé une erreur ? héhé, secret industriel).
MB
--
Michel BILLAUD billaud@labri.fr
LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792
351, cours de la Libération http://www.labri.fr/~billaud
33405 Talence (FRANCE)
T'en connais beaucoup des industriels qui "passent des contrats à tour de bras dans la vérification" hors de l'aéronautique et de l'espace,
Dans not'labo y en a qui ont vérifié du logiciel de compteur électrique (interrogeable à distance par la compagnie d'électricité).
c'est à dire des
domaines où il faut éviter la tuile à tout prix, et où on est prêt à tout: -pour se couvrir en cas de tuile, car il en arrive toujours. -à se livrer à n'importe quel rite vaudou pour se rassurer.
La tuile, ça aurait été d'aller faire des mises à jour sur quelques millions de compteurs en cas de bug. Ca valait bien une vérif. (Ont-ils trouvé une erreur ? héhé, secret industriel).
MB -- Michel BILLAUD LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792 351, cours de la Libération http://www.labri.fr/~billaud 33405 Talence (FRANCE)
talon
Nicolas George wrote:
Michel Talon, dans le message <bv451b$20ed$, a écrit :
Je ne comprends rien à ce que tu racontes.
Et tu le montres bien.
Tout ça pour ne pas reconnaître que dans la plupart des cas concrets ce que j'ai dit peut être éminemment utile, tandis que avec les options de tar même les choses les plus triviale sont presque infaisables sans passer par des contorsions épouvantables.
Tu as montré *un* exemple. Pour pouvoir affirmer qu'une option est inutile, il ne suffit pas d'exhiber un exemple, il faut montrer que dans _tous_ les cas on peut faire plus simple.
Évidemment, ce n'est pas rare de voir des gens avoir du mal avec les quantificateurs existentiel et universel.
T'as pas besoin de faire de l'humour sur les quantificateurs, il se trouve que je fais de la physique mathématique, donc je sais aussi bien que toi ce que ça veut dire. Par contre la différence fondamentale entre un physicien et un mathématicien, c'est que si une situation se rencontre dans 99% des cas, le physicien ne va pas s'emmerder une seconde pour traîter le 1% des cas restants, et laissera ce soin à d'autres techniques. Je prétends que les options de tar ne sont pas assez puissantes pour traîter les cas les plus triviaux, que par contre le passage par find et grep permet de traîter la quasi totalité des problèmes, donc que les options de tar sont inutiles. Point. Voir si on peut faire mieux dans *tous* les cas, c'est pas le dernier de mes soucis, c'est encore plus loin. Je serais certainement plus préoccupé s'il y avait des problèmes de sécurité, comme mentionné par Sam. C'est clair qu'il faut soigneusement étudier ce que produit find |grep avant de faire quoi que ce soit avec. De toute façon il faut bien l'étudier pour arriver à piquer les bons fichiers. On fabrique une archive. On peut tout à loisir étudier ce qu'il y a dedans avant d'aller écraser /etc/shadow, il me semble.
--
Michel TALON
Nicolas George <george@clipper.ens.fr> wrote:
Michel Talon, dans le message <bv451b$20ed$1@asmodee.lpthe.jussieu.fr>,
a écrit :
Je ne comprends rien à ce que tu racontes.
Et tu le montres bien.
Tout
ça pour ne pas reconnaître que dans la plupart des cas concrets ce que
j'ai dit peut être éminemment utile, tandis que avec les options de tar
même les choses les plus triviale sont presque infaisables sans passer
par des contorsions épouvantables.
Tu as montré *un* exemple. Pour pouvoir affirmer qu'une option est
inutile, il ne suffit pas d'exhiber un exemple, il faut montrer que dans
_tous_ les cas on peut faire plus simple.
Évidemment, ce n'est pas rare de voir des gens avoir du mal avec les
quantificateurs existentiel et universel.
T'as pas besoin de faire de l'humour sur les quantificateurs, il se
trouve que je fais de la physique mathématique, donc je sais aussi bien
que toi ce que ça veut dire. Par contre la différence fondamentale entre
un physicien et un mathématicien, c'est que si une situation se
rencontre dans 99% des cas, le physicien ne va pas s'emmerder une
seconde pour traîter le 1% des cas restants, et laissera ce soin à
d'autres techniques. Je prétends que les options de tar ne sont pas
assez puissantes pour traîter les cas les plus triviaux, que par contre
le passage par find et grep permet de traîter la quasi totalité des
problèmes, donc que les options de tar sont inutiles. Point. Voir
si on peut faire mieux dans *tous* les cas, c'est pas le dernier de mes
soucis, c'est encore plus loin. Je serais certainement plus préoccupé
s'il y avait des problèmes de sécurité, comme mentionné par Sam.
C'est clair qu'il faut soigneusement étudier ce que produit find |grep
avant de faire quoi que ce soit avec. De toute façon il faut bien
l'étudier pour arriver à piquer les bons fichiers. On fabrique une
archive. On peut tout à loisir étudier ce qu'il y a dedans avant d'aller
écraser /etc/shadow, il me semble.
Michel Talon, dans le message <bv451b$20ed$, a écrit :
Je ne comprends rien à ce que tu racontes.
Et tu le montres bien.
Tout ça pour ne pas reconnaître que dans la plupart des cas concrets ce que j'ai dit peut être éminemment utile, tandis que avec les options de tar même les choses les plus triviale sont presque infaisables sans passer par des contorsions épouvantables.
Tu as montré *un* exemple. Pour pouvoir affirmer qu'une option est inutile, il ne suffit pas d'exhiber un exemple, il faut montrer que dans _tous_ les cas on peut faire plus simple.
Évidemment, ce n'est pas rare de voir des gens avoir du mal avec les quantificateurs existentiel et universel.
T'as pas besoin de faire de l'humour sur les quantificateurs, il se trouve que je fais de la physique mathématique, donc je sais aussi bien que toi ce que ça veut dire. Par contre la différence fondamentale entre un physicien et un mathématicien, c'est que si une situation se rencontre dans 99% des cas, le physicien ne va pas s'emmerder une seconde pour traîter le 1% des cas restants, et laissera ce soin à d'autres techniques. Je prétends que les options de tar ne sont pas assez puissantes pour traîter les cas les plus triviaux, que par contre le passage par find et grep permet de traîter la quasi totalité des problèmes, donc que les options de tar sont inutiles. Point. Voir si on peut faire mieux dans *tous* les cas, c'est pas le dernier de mes soucis, c'est encore plus loin. Je serais certainement plus préoccupé s'il y avait des problèmes de sécurité, comme mentionné par Sam. C'est clair qu'il faut soigneusement étudier ce que produit find |grep avant de faire quoi que ce soit avec. De toute façon il faut bien l'étudier pour arriver à piquer les bons fichiers. On fabrique une archive. On peut tout à loisir étudier ce qu'il y a dedans avant d'aller écraser /etc/shadow, il me semble.
--
Michel TALON
talon
Michel BILLAUD wrote:
writes:
T'en connais beaucoup des industriels qui "passent des contrats à tour de bras dans la vérification" hors de l'aéronautique et de l'espace,
Dans not'labo y en a qui ont vérifié du logiciel de compteur électrique (interrogeable à distance par la compagnie d'électricité).
c'est à dire des
domaines où il faut éviter la tuile à tout prix, et où on est prêt à tout: -pour se couvrir en cas de tuile, car il en arrive toujours. -à se livrer à n'importe quel rite vaudou pour se rassurer.
La tuile, ça aurait été d'aller faire des mises à jour sur quelques millions de compteurs en cas de bug. Ca valait bien une vérif. (Ont-ils trouvé une erreur ? héhé, secret industriel).
L'autre jour, un mec de Stanford a posté sur freebsd-hackers un article au sujet d'une étude de vérification qu'ils ont faite sur le noyau de freebsd. L'article comprenait une 30aine de bugs qu'ils avaient trouvé. Il a beaucoup intéressé les développeurs qui se sont empressés d'étudier ces bugs. Crois tu rééllement qu'il n'y a qu'une 30aine de bugs dans un tel monstre?
MB
--
Michel TALON
Michel BILLAUD <billaud@labri.u-bordeaux.fr> wrote:
talon@lpthe.jussieu.fr writes:
T'en connais beaucoup des industriels qui "passent des contrats à tour de bras
dans la vérification" hors de l'aéronautique et de l'espace,
Dans not'labo y en a qui ont vérifié du logiciel de compteur électrique
(interrogeable à distance par la compagnie d'électricité).
c'est à dire des
domaines où il faut éviter la tuile à tout prix, et où on est prêt à tout:
-pour se couvrir en cas de tuile, car il en arrive toujours.
-à se livrer à n'importe quel rite vaudou pour se rassurer.
La tuile, ça aurait été d'aller faire des mises à jour sur quelques
millions de compteurs en cas de bug. Ca valait bien une vérif.
(Ont-ils trouvé une erreur ? héhé, secret industriel).
L'autre jour, un mec de Stanford a posté sur freebsd-hackers un article
au sujet d'une étude de vérification qu'ils ont faite sur le noyau de
freebsd. L'article comprenait une 30aine de bugs qu'ils avaient trouvé.
Il a beaucoup intéressé les développeurs qui se sont empressés d'étudier
ces bugs. Crois tu rééllement qu'il n'y a qu'une 30aine de bugs dans
un tel monstre?
T'en connais beaucoup des industriels qui "passent des contrats à tour de bras dans la vérification" hors de l'aéronautique et de l'espace,
Dans not'labo y en a qui ont vérifié du logiciel de compteur électrique (interrogeable à distance par la compagnie d'électricité).
c'est à dire des
domaines où il faut éviter la tuile à tout prix, et où on est prêt à tout: -pour se couvrir en cas de tuile, car il en arrive toujours. -à se livrer à n'importe quel rite vaudou pour se rassurer.
La tuile, ça aurait été d'aller faire des mises à jour sur quelques millions de compteurs en cas de bug. Ca valait bien une vérif. (Ont-ils trouvé une erreur ? héhé, secret industriel).
L'autre jour, un mec de Stanford a posté sur freebsd-hackers un article au sujet d'une étude de vérification qu'ils ont faite sur le noyau de freebsd. L'article comprenait une 30aine de bugs qu'ils avaient trouvé. Il a beaucoup intéressé les développeurs qui se sont empressés d'étudier ces bugs. Crois tu rééllement qu'il n'y a qu'une 30aine de bugs dans un tel monstre?
MB
--
Michel TALON
Vincent Bernat
OoO En cette fin de matinée radieuse du mardi 27 janvier 2004, vers 11:13, (Michel Talon) disait:
La tuile, ça aurait été d'aller faire des mises à jour sur quelques millions de compteurs en cas de bug. Ca valait bien une vérif. (Ont-ils trouvé une erreur ? héhé, secret industriel).
L'autre jour, un mec de Stanford a posté sur freebsd-hackers un article au sujet d'une étude de vérification qu'ils ont faite sur le noyau de freebsd. L'article comprenait une 30aine de bugs qu'ils avaient trouvé. Il a beaucoup intéressé les développeurs qui se sont empressés d'étudier ces bugs. Crois tu rééllement qu'il n'y a qu'une 30aine de bugs dans un tel monstre?
La vérification de code en C (car je suppose que c'est le cas ici) n'en est qu'à ses balbutiements. Je ne te cacherai pas qu'en informatique, on a inventé des trucs rudement plus pratiques à vérifier que du code en C, le truc en question pouvant ensuite être transformé en programme en C.
Les compteurs en question ne sont sans doute pas programmés en C puis vérifiés. Évidemment, avec tes 42 années d'expérience de la recherche, tu es toujours mieux placé que tout le monde pour en parler, même si c'est pour raconter des conneries monumentales dans un domaine dont tu n'as aucune idée de ce qu'il est. -- printk("HPFS: Grrrr... Kernel memory corrupted ... going on, but it'll crash very soon :-(n"); 2.4.3 linux/fs/hpfs/super.c
OoO En cette fin de matinée radieuse du mardi 27 janvier 2004, vers
11:13, talon@lpthe.jussieu.fr (Michel Talon) disait:
La tuile, ça aurait été d'aller faire des mises à jour sur quelques
millions de compteurs en cas de bug. Ca valait bien une vérif.
(Ont-ils trouvé une erreur ? héhé, secret industriel).
L'autre jour, un mec de Stanford a posté sur freebsd-hackers un
article au sujet d'une étude de vérification qu'ils ont faite sur le
noyau de freebsd. L'article comprenait une 30aine de bugs qu'ils
avaient trouvé. Il a beaucoup intéressé les développeurs qui se
sont empressés d'étudier ces bugs. Crois tu rééllement qu'il n'y a
qu'une 30aine de bugs dans un tel monstre?
La vérification de code en C (car je suppose que c'est le cas ici)
n'en est qu'à ses balbutiements. Je ne te cacherai pas qu'en
informatique, on a inventé des trucs rudement plus pratiques à
vérifier que du code en C, le truc en question pouvant ensuite être
transformé en programme en C.
Les compteurs en question ne sont sans doute pas programmés en C puis
vérifiés. Évidemment, avec tes 42 années d'expérience de la recherche,
tu es toujours mieux placé que tout le monde pour en parler, même si
c'est pour raconter des conneries monumentales dans un domaine dont tu
n'as aucune idée de ce qu'il est.
--
printk("HPFS: Grrrr... Kernel memory corrupted ... going on, but
it'll crash very soon :-(n");
2.4.3 linux/fs/hpfs/super.c
OoO En cette fin de matinée radieuse du mardi 27 janvier 2004, vers 11:13, (Michel Talon) disait:
La tuile, ça aurait été d'aller faire des mises à jour sur quelques millions de compteurs en cas de bug. Ca valait bien une vérif. (Ont-ils trouvé une erreur ? héhé, secret industriel).
L'autre jour, un mec de Stanford a posté sur freebsd-hackers un article au sujet d'une étude de vérification qu'ils ont faite sur le noyau de freebsd. L'article comprenait une 30aine de bugs qu'ils avaient trouvé. Il a beaucoup intéressé les développeurs qui se sont empressés d'étudier ces bugs. Crois tu rééllement qu'il n'y a qu'une 30aine de bugs dans un tel monstre?
La vérification de code en C (car je suppose que c'est le cas ici) n'en est qu'à ses balbutiements. Je ne te cacherai pas qu'en informatique, on a inventé des trucs rudement plus pratiques à vérifier que du code en C, le truc en question pouvant ensuite être transformé en programme en C.
Les compteurs en question ne sont sans doute pas programmés en C puis vérifiés. Évidemment, avec tes 42 années d'expérience de la recherche, tu es toujours mieux placé que tout le monde pour en parler, même si c'est pour raconter des conneries monumentales dans un domaine dont tu n'as aucune idée de ce qu'il est. -- printk("HPFS: Grrrr... Kernel memory corrupted ... going on, but it'll crash very soon :-(n"); 2.4.3 linux/fs/hpfs/super.c
Benjamin FRANCOIS
Pierre LALET s'est exprimé en ces termes:
Traduire "si t'es pas d'accord avec moi, tu n'es qu'un hurluberlu". C'est intelligent.
Ajoute "si t'es pas d'accord avec moi, tu es un boutonneux qui se masturbe à coups d'apt-get".
-- <Pingouino> est ce qui a un fichier commun (comme le passwd pour les tilisateurs) pour les clients mail ??
Pierre LALET s'est exprimé en ces termes:
Traduire "si t'es pas d'accord avec moi, tu n'es qu'un hurluberlu".
C'est intelligent.
Ajoute "si t'es pas d'accord avec moi, tu es un boutonneux qui se
masturbe à coups d'apt-get".
--
<Pingouino> est ce qui a un fichier commun (comme le passwd pour les
tilisateurs) pour les clients mail ??
Traduire "si t'es pas d'accord avec moi, tu n'es qu'un hurluberlu". C'est intelligent.
Ajoute "si t'es pas d'accord avec moi, tu es un boutonneux qui se masturbe à coups d'apt-get".
-- <Pingouino> est ce qui a un fichier commun (comme le passwd pour les tilisateurs) pour les clients mail ??
Benjamin FRANCOIS
Michel Talon s'est exprimé en ces termes:
Si tes bouquins d'info disent le contraire, c'est qu'ils sont encore écrits par des hurluberlus du même genre que ceux qui pérorent sur les preuves de programmes et autres foutaises à la mode dans les milieux informatiques.
Au fait, c'est quoi les dernières foutaises à la mode dans les milieux de la physique ? T'as encore un peu le temps d'en faire ?
-- <Pingouino> est ce qui a un fichier commun (comme le passwd pour les tilisateurs) pour les clients mail ??
Michel Talon s'est exprimé en ces termes:
Si tes bouquins d'info disent
le contraire, c'est qu'ils sont encore écrits par des hurluberlus du même
genre que ceux qui pérorent sur les preuves de programmes et autres
foutaises à la mode dans les milieux informatiques.
Au fait, c'est quoi les dernières foutaises à la mode dans les milieux
de la physique ? T'as encore un peu le temps d'en faire ?
--
<Pingouino> est ce qui a un fichier commun (comme le passwd pour les
tilisateurs) pour les clients mail ??
Si tes bouquins d'info disent le contraire, c'est qu'ils sont encore écrits par des hurluberlus du même genre que ceux qui pérorent sur les preuves de programmes et autres foutaises à la mode dans les milieux informatiques.
Au fait, c'est quoi les dernières foutaises à la mode dans les milieux de la physique ? T'as encore un peu le temps d'en faire ?
-- <Pingouino> est ce qui a un fichier commun (comme le passwd pour les tilisateurs) pour les clients mail ??
