Bonsoir, (je ne connais pas Python, mais bien Linux) Dans le projet RefPerSys (voir refpersys.org et le code sur github en github.com/RefPerSys/refpersys-in-c/ ....) c'est un logiciel libre d'intelligence artificielle symbolique (licence GPLv3+, pour Linux/x86-64) où on ambitionne de genérer du code C (idéalement tout le code C de RefPerSys) à partir de formalismes de haut niveau
Forum: Développement

Moi j'aurais plutôt tendance à suggérer de sauvegarder /etc et /home sur un support externe et à ré-installer. C'est probablement plus rapide. Il existe des repertoires avec des bits setuid et setgid, c'est très important, et fastidieux à restaurer précisément.
Forum: Administration

J'aurais plutôt tendance à te suggérer de demander de suivre une formation sur Linux. Il me semble qu'elle te sera indispensable. Autrement, qu'on te paie des livres sur Linux, et qu'on te laisse des heures à les lire. Sans compétences minimales sur Linux (et sa ligne de commande), je pense que tu vas dans le mur (surtout si tu dois gérer ou administrer un réseau).
Forum: Léa Aide

> Mon problème et une fois le dossier > "Fotowall-0.9" téléchargé dans > "/home/camox/Fotowall-0.9" je double clique sur le > fichier nommé "test-builds-enrico.sh" Il faut apprendre à utiliser la ligne de commande. Que donne la commande (à lancer dans un terminal) /home/camox/Fotowall-0.9/test-builds-enrico.sh
Forum: Administration

Il se pourrait que soient utilisés des systèmes de fichiers particuliers, par exemple des UnionFS Mais je ne suis pas sûr que ça vaille le coup. As tu aussi envisagé d'inviter des utilisateurs à utiliser un système de versionnement comme subversion (svn) ou Git ?
Forum: Administration

Peut-être que le serveur a servi de relai ouvert SMTP.. Ou alors, l'intrusion s'est faite autrement, et il faut comprendre comment.
Forum: Léa Aide

On peut configurer la taille maximale pour le tableau des arguments en recompilant son noyau. Il faut alors éditer à la main le fichier include/linux/limits.h dans l'arborescence source du noyau et y modifier la définition de ARG_MAX. En toute rigueur, c'est plutôt déconseillé (car ça permettrait peut-être des attaques en déni de service...) et il faut surtout mettre une limite qu
Forum: Développement

On pourrait utiliser la commande cp avec l'option -a, peut-être comme cp -v -a /mnt/disk_linux/. /mnt/disk2_linux L'option -v rend la copie verbeuse, un message pour chaque fichier copié.
Forum: Léa Aide

On pourrait imaginer vérifier une copie en calculant un hash cryptographique. Par exemple, après avoir copié le fichier foo.tar, on peut lancer la commande md5sum foo.tar sur la machine source, et la même commande sur la machine cible. Si le résultat de la commande est identique (sur la machine source comme sur la machine cible), il est très probable que la copie se soit bien passée.
Forum: Développement

Bonjour à tous, je suis Basile Starynkevitch, et je sévissais sur les forums de Léa jusqu'à Noël. J'ai décidé (au moins provisoirement) de ne plus participer à Lea, principalement parce que je crois que je n'y sers plus à grand chose, et que j'y passais mon temps à radoter RTFM et STFW. Quand on en arrive là, c'est qu'il est temps de faire sa révérence. Par
Forum: Débats

Je ne connais plus Sendmail, mais il me semble qu'exim permet ce genre de choses (et notamment la retranscription des adresses d'émission via /etc/email-addresses)
Forum: Administration

Quelques références bibliographiques, dont je conseille vivement la lecture à Sporaddickt, sur la problématique des gestionnaires de paquets. Le papier NixOS: a Purely Functional Linux Distribution en ICFP2008 Le site NIXOS Le projet EDOS et ses fournitures (delivrables) et notamment ses publications La notion de modules dans les langages de programmations récents comme Ocaml ou Hask
Forum: Débats

Citationsporaddicktje reste persuadé qu'au moins 90% des utilisateurs de pc prefereraient ne meme pas avoir à clicker sur suivant pour installer un programme (ce qui est le cas avec les gestionnaires de package comme Adept ou Synaptic!) Je n'ai pas compris la phrase, et j'ai l'intuition que Sporadikt n'a pas compris la triste réalité de l'état des systèmes actuels
Forum: Débats

Citationcricrije vais repasser sous peu en 2008. et probablement passer sous Red hat. J'aurais suggéré d'essayer Debian ou Ubuntu. Et de bien avoir /home sur une partition différente du système!
Forum: Mandriva, Mageia

On peut tout à fait installer Debian (et c'est même un bon choix) sur une vieille machine à 128Mo de RAM, mais il faut veiller attentivement aux choix des applications installées et configurées et plus généralement à la configuration de la machine. Et de toutes façons, les logiciels libres récents comme Firefox 2 ou 3 ou OpenOffice 2.4 ou 3.0 sont trop gourmands en ressource pour tourner
Forum: Debian, Ubuntu, Mint

Citationsilvio En ce qui concerne les commandes ça va je me debrouille Alors commences à déterminer laquelle précisément fait planter le système (modprobe, iwconfig, iwlist, ...). Mais de toutes façons ça te prendra du temps. Plusieurs semaines, à lire et à te documenter frénétiquement, et à planter souvent ta machine. La manière la plus rapide d'avoir le wifi est très probablement l
Forum: Matériel

CitationsporadicktPourquoi est-ce qu'il n'y a pas des boites qui font la même chose (installer linux, et vendre une machine avec linux déjà installé)? Mais il y a des entreprises qui vendent des machines avec Linux! J'ai déjà cité KEYNUX mais il y en a d'autres (voir par exemple la liste des bons vendeurs). Je ne suis pas sûr qu'il y ait un gros marché pour ça (les p
Forum: Débats

Google sur le résultat cité de lspci donne des résultats peu encourageants (mais il y a peut-être des pistes pour perséverer). Le plus simple serait d'acheter un dongle USB pour utiliser le wifi, ou bien une carte PCMCIA/PCCARD Wifi. Bien vérifier avant d'acheter qu'il y a un pilote natif Linux (donc éviter ndiswrapper). On pourrait aussi envisager de mettre à jour vers ubunt
Forum: Matériel

La solution la plus simple n'est elle pas de rester sous Linux :-) Je ne connais pas Vista, mais à part les jeux, qu'a-t-il que Linux n'a pas? Et l'avantage de renoncer à Vista ou autre Windows en utilisant exclusivement Linux, c'est * pas besoin de connaitre 2 systèmes (Linux suffit) * l'espace disque anciennement utilisé par Vista est récupérable comm
Forum: Matériel

Citationlinux3000J'aimerais savoir quelle est la configuration minimale pour debian La question est imprécise. Configuration minimale pour quoi faire, pour quelle utilisation, pour quelle version de Debian? Citationlinux3000configuration: 128 mo ram Pentium II 450 Mhz 8.5 go Disque dur C'est une configuration très petite. On peut probablement faire tourner un Debian dessus,
Forum: Debian, Ubuntu, Mint

Je ne suis pas du tout convaincu de l'explication supposée sur commentcamarche.net (débordement de la pile du noyau). D'abord: quelle est le chipset wifi utilisé? On l'obtient par la commande lspci (ou lsusb si c'est un dongle US. L'une des lignes de la sortie de cette commande correspond au wifi. Il est très utile de googler sur cette ligne. S'il existe un
Forum: Matériel

CitationsilvioAu moment de la connexion entre le pc et la box le pc plante ... Comment "plante"-t-il, ce PC? Comment la connexion est établie? Ce plantage est-il reproductible? Quelles commandes ont été effectuées? Quel est le pilote Wifi utilisé? Quel est le matériel correspondant? CitationsilvioOn m'a dit de recompiler Linux et d'augmenter la pile .... Qui vous a dit ça
Forum: Matériel

Citationkougwm2J'ai essayé de recompiler le noyau, mais leCONFIG_CMDLINEest introuvable. Il existe dans les noyaux officiels récent, notamment 2.6.28 et 2.6.29rc2. On pourrait donc tenter d'en configurer et compiler un.
Forum: Debian, Ubuntu, Mint

J'aurais alors consulté la FAQ de ce produit ou bien fait appel au support. Mais sinon, pourquoi ne pas tout simplement monter (en ligne de commandes) le CDROM puis essayer de chercher dedans un fichier donnant les instructions d'installation sous Linux? D'ailleurs, la FAQ indique notammentCitationFaq AntidoteIl suffit plutôt d'exécuter l'installateur, soit en doubl
Forum: Léa Aide

CitationclobalJe désire installer un logiciel (par CD). Quel logiciel désirez vous installer? Quel est ce CDROM? Les logiciels prévus pour Windows ne tournent pas sous Linux. sauf via Wine, qu'un néophyte peut ignorer Et les logiciels linuxiens sont généralement fournis par la distribution et s'installent le plus souvent par le réseau (par synaptic ou aptitude).
Forum: Léa Aide

CitationAlSimLes gens qui font du libre, eux, font ça pour le plaisir Non pas seulement, ils peuvent être payés pour ça. C'est mon cas actuellement. et ca ne me déplait pas Il faut vraiment quitter l'image d'Epinal que le logiciel libre, c'est fait par des amateurs fous le dimanche ?-( . Le logiciel libre, c'est codé par des professionnels à temps plein qui sont pay
Forum: Débats

Citationsporaddiktpourtant steve jobs est en train de vendre un *nix à plein de gens!! Ca me semble complètement inexact. Apple ne vend pas un système d'exploitation Unix, Apple vend des Mac (ordinateurs) sur lesquels tourne MACOSX qui est une grosse surcouche d'un Unix BSD. A ma connaissance, Apple ne vend pas MACOSX seul. Et il me semble qu'Apple vend surtout du matériel, no
Forum: Débats

D'abord, Ubuntu, une fois qu'il est préinstallé, est un OS accessible à ma grand mère (et c'est aussi vrai de beaucoup d'autres distributions Linux). [^]je viens d'offrir un netbook sous ubuntu à un proche qui n'y connait rien. Il a trouvé ça facile.[/^] La difficulté, c'est d'installer et d'administrer un système. Et renseignes toi sur le Total Co
Forum: Débats

Citationsporaddictje ne veux pas changer pour un os qui me demande encore plus de temps à passer dessus pour faire des choses basiques Le temps d'apprentissage est inévitable. Je vais te faire une confidence: je crois être qualifié en informatique (je suis Docteur en informatique et j'ai presque 30 ans de métier), je travaille sur le compilateur GCC actuellement, et pourtant je ne con
Forum: Débats

Citationmilad- merci de m'indiquer où je peux trouver le paquetage pour l'installer ? Les messages d'erreur indiquées contiennent une URL. Il suffit donc de télécharger le paquet à l'URL indiquée. Citationmilad- comment l'installer manuellement ? probablement par la commande rpm (sans doute avec l'option -i) CitationmiladAutre chose :comment savoir sur quelle pa
Forum: Mandriva, Mageia