De par sa nature, Prolog trouve toutes les solutions (sauf si on force ...) à une subtilité près : prolog ne sait pas inférer sur les calculs de sa calculatrice. Il faut soit définir les nombres de façon fonctionnelle, soit utiliser un langage (comme chips) qui sache inférer sur sa calculatrice.
J'ai utilisé swi et gprolog pendant une année, il y a 2 ans, et c'était bel et bien un interpréteur.
D'ailleurs on le voit très bien sur la page que tu cite ;-)
Bien sûr, en usage normal tu charge un fichier ... pour ne pas tout reprendre à zéro à chaque fois.
> Je peux également te passer arity prolog version dos
tss tss ... on est sur linuxfr.org, et en plus c'est pas libre : http://www.arity.com/Prolog/aplic.htm
D'accord, mais on est au début de l'ère de la société de l'information, et le logiciel libre commence tout juste à être vu comme crédible (on peut situer ça pour 2000 ...). Dans 20 ans, on pourra en reparler.
Note que je n'ai jamais dit que ça serait rapide ... à mes yeux, la pérennité c'est pas celle de ouindoze enn'té, c'est des générations ...
> sur le long terme ce n'est pas viable
De toute façon, aucun modèle propriétaire n'est pérenne face au LL, sauf à la rigueur sur certains marchés de niche, ou la mutualisation des compétence n'est pas possible.
Sinon, moi je me fiche complètement des gérémiades de TiVo, ils n'ont qu'a lancer un concept de Tv libre, et en profiter pour y retirer une once de débilité. Sinon, ils n'ont qu'a faire comme Apple, qui arrive très bien à vendre des DRM sponsorisés par du logiciel libre non copylefté.
En fait, certains "événements" récents (loi LEN, DAVSI, Sarkozades ... toussa) font que je pense de plus en plus régulièrement à mettre ce genre de chose sur mon système, mais en ce moment je n'ai franchement pas le temps ;-)
Si quelqu'un connaît une solution clé en main, ça m'intéresse, sinon, je verrai plus tard ... En ce qui concerne le chiffrement des partitions, tout est déjà fait, mais pour développer un truc comme ça, il faudra sûrement mettre les mains dans le camboui^w dans les scripts d'init.
Oui, il y a moyen, mais je pense que c'est une mesure cosmétique de sécurité. N'importe qui qui passe sur ton PC avec un live CD/USB pourra le faire booter comme il veux.
Si tu veux insister, il suffit simplement de copier les fichiers de ton /boot sur ta clé usb, et d'y installer grub (sur la clé !) avec la config qui va bien. Tu peux avoir de l'aide ici concernant la manip : http://fr.gentoo-wiki.com/HOWTO_Installer_Gentoo_sur_une_cle(...)
Amha, si tu souhaite avoir un système seulement fonctionnel quand tu y branche ta clé, le mieux serait de chiffrer tes partitions et d'utiliser une clé sur ta clé usb pour les déchiffrer.
Boa Constructor is a cross platform Python IDE and wxPython GUI Builder. It offers visual frame creation and manipulation, an object inspector, many views on the source like object browsers, inheritance hierarchies, doc string generated html documentation, an advanced debugger and integrated help.
En revanche, il est tout à fait possible de créer un live CD/USB depuis une gentoo, mais ça demande quand même des compétences. Commence par bien maîtriser gentoo (ou tout autre GNU/linux ...) sur une config standard.
PS : merci nicodache pour la coquille ... j'ai mal relu. En même temps, je n'utilise pas gentoo au travail, et je n'ai pas les sources du noyau sur moi ...
PPS : Pour les gens qui souhaitent découvrir gentoo, il y a le 2 juin une journée spéciale organisée entre Parinux et GentooMuch ... voir http://linuxfr.org/2007/05/29/22554.html
Ça veut dire que tu n'a pas a t'embêter avec un driver externe, ta carte est supportée par le noyau. Il faut seulement que tu active son support.
Ton noyau actuel est le 2.6.17. Laisse tomber le nouveau boyau, sauf si tu as envie de changer ;-).
Vérifie par un ls -l /usr/src/ que tu as bien un lien /usr/src/linux -> /usr/src/linux-2.6.17-gentoo-r7, c'est important.
Ensuite, il faut activer ton module à la compilation : cd /usr/src/linux
make menu config
Parcours le menu : -> Device Drivers
---> SCSI device support
-----> SCSI low-level drivers
Et active (avec y ou m, selon que tu veuille un module ou un driver en dur dans le noyau) le champ Adaptec AIC94xx SAS/SATA support
Ensuite, quitte tout ça en sauvegardant, maintenant il faut compiler ...
Si tu as fait des modules : make modules && make modules_install
Si tu as fait un noyau dur : make && cp arch/i386/boot/bzImage /boot/nomDuNoyauDejaPresent (PS : une sauvegarde de l'ancien noyau n'est certainement pas superflu ...)
Si tu as fait un mix des deux (options en dur plus en module), tape les deux ligne ;-)
Ensuite, si tu as fait des modules, charge les : modprobe aic94xx (a voir, je n'ai pas les sources du noyau sous la main)
Si tu as fait des options en dur, reboote sur le bon noyau.
1) Est-ce que le lien vers tes sources du noyau est bien présent ?
Tu devrait avoir un lien /usr/src/linux -> linux-2.6.20-gentoo-r4 à la version près.
2) Si tu es sous gentoo, je m'étonne que tu n'ai pas un noyau configuré. Amha, à la compilation de ton driver, il y a surement un bout de code qui va aller vérifier si /usr/src/linux/.config (i.e. la config du noyau courant) contient les bonnes options.
3) La magouille avec les makefiles, c'est que le makefile par défaut doit être pour les noyaux 2.4 et comme tu utilise un 2.6, ça n'utilise pas les mêmes fichiers makefile.
Maintenant, j'aimerai bien voir d'un peu plus près ton message d'erreur à la compile.
Non ...
En y allant cool, les gens devraient avoir un noyau qui boote à partir de 15h (et oui, c'est court, mais on va prévoir des raccourcis à l'installation), ensuite, ça dépend beaucoup des machines ... Pour la mienne (athlon XP 2200, c'est plus jeune !) il faut compter 4 heures de plus pour avoir Gnome.
Pour installer openoffice, il suffit de configurer la variable linguas="fr" dans make.conf, puis de taper emerge openoffice-bin.
Je ne recommande pas d'utiliser le paquet source.
# > L'année prochaine, le dîner au Zénith ?
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Dernières infos avant Paris Capitale du Libre. Évalué à 3.
Adhérer à l'April, ça vous tente ?
[^] # Re: Toutes, vraiment toutes ?
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Kitsune 2.0 : jeu de lettres et de chiffres. Évalué à 3.
Adhérer à l'April, ça vous tente ?
[^] # Re: Interpréteur prolog.
Posté par Pol' uX (site web personnel) . En réponse au message Interpréteur prolog.. Évalué à 2.
Adhérer à l'April, ça vous tente ?
[^] # Re: Interpréteur prolog.
Posté par Pol' uX (site web personnel) . En réponse au message Interpréteur prolog.. Évalué à 3.
D'ailleurs on le voit très bien sur la page que tu cite ;-)
Bien sûr, en usage normal tu charge un fichier ... pour ne pas tout reprendre à zéro à chaque fois.
> Je peux également te passer arity prolog version dos
tss tss ... on est sur linuxfr.org, et en plus c'est pas libre : http://www.arity.com/Prolog/aplic.htm
Adhérer à l'April, ça vous tente ?
# Interpréteur prolog.
Posté par Pol' uX (site web personnel) . En réponse au message Interpréteur prolog.. Évalué à 2.
gprolog et swi-prolog *sont* des interpréteurs. Tu peux donc les démarrer, et faire joujou avec, en rentrant tes commandes.
Adhérer à l'April, ça vous tente ?
[^] # Re: le beurre, l'argent du beurre et le cul de la cremiere
Posté par Pol' uX (site web personnel) . En réponse à la dépêche GPL3, TiVo ou TiVo pas ?. Évalué à 1.
Note que je n'ai jamais dit que ça serait rapide ... à mes yeux, la pérennité c'est pas celle de ouindoze enn'té, c'est des générations ...
Adhérer à l'April, ça vous tente ?
[^] # Re: le beurre, l'argent du beurre et le cul de la cremiere
Posté par Pol' uX (site web personnel) . En réponse à la dépêche GPL3, TiVo ou TiVo pas ?. Évalué à 4.
De toute façon, aucun modèle propriétaire n'est pérenne face au LL, sauf à la rigueur sur certains marchés de niche, ou la mutualisation des compétence n'est pas possible.
Sinon, moi je me fiche complètement des gérémiades de TiVo, ils n'ont qu'a lancer un concept de Tv libre, et en profiter pour y retirer une once de débilité. Sinon, ils n'ont qu'a faire comme Apple, qui arrive très bien à vendre des DRM sponsorisés par du logiciel libre non copylefté.
Adhérer à l'April, ça vous tente ?
[^] # Bon allez, j'ose ... désolé.
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Emacs 22 est déclaré stable. Évalué à 4.
Adhérer à l'April, ça vous tente ?
[^] # Re: L'ergonomie...
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Emacs 22 est déclaré stable. Évalué à 3.
Moi je ne m'éclate pas toujours ... car hélas de temps en temps j'oublie que je ne suis pas sous emacs ;-)
Effet garanti.
Adhérer à l'April, ça vous tente ?
[^] # Re: le beurre, l'argent du beurre et le cul de la cremiere
Posté par Pol' uX (site web personnel) . En réponse à la dépêche GPL3, TiVo ou TiVo pas ?. Évalué à 2.
Adhérer à l'April, ça vous tente ?
[^] # Re: Le pistolet sur la tempe
Posté par Pol' uX (site web personnel) . En réponse à la dépêche GPL3, TiVo ou TiVo pas ?. Évalué à 7.
Ils sont fort à la FSF !
Adhérer à l'April, ça vous tente ?
[^] # Re: Le pistolet sur la tempe
Posté par Pol' uX (site web personnel) . En réponse à la dépêche GPL3, TiVo ou TiVo pas ?. Évalué à 9.
Adhérer à l'April, ça vous tente ?
[^] # Re: Utilité ?
Posté par Pol' uX (site web personnel) . En réponse au message Deporte /boot et grub sur une disquette USB. Évalué à 1.
Si quelqu'un connaît une solution clé en main, ça m'intéresse, sinon, je verrai plus tard ... En ce qui concerne le chiffrement des partitions, tout est déjà fait, mais pour développer un truc comme ça, il faudra sûrement mettre les mains dans le camboui^w dans les scripts d'init.
Adhérer à l'April, ça vous tente ?
# Utilité ?
Posté par Pol' uX (site web personnel) . En réponse au message Deporte /boot et grub sur une disquette USB. Évalué à 6.
Si tu veux insister, il suffit simplement de copier les fichiers de ton /boot sur ta clé usb, et d'y installer grub (sur la clé !) avec la config qui va bien. Tu peux avoir de l'aide ici concernant la manip : http://fr.gentoo-wiki.com/HOWTO_Installer_Gentoo_sur_une_cle(...)
Amha, si tu souhaite avoir un système seulement fonctionnel quand tu y branche ta clé, le mieux serait de chiffrer tes partitions et d'utiliser une clé sur ta clé usb pour les déchiffrer.
Adhérer à l'April, ça vous tente ?
# http://boa-constructor.sourceforge.net/
Posté par Pol' uX (site web personnel) . En réponse au message Boa constructor : comment ça marche ?. Évalué à 1.
Adhérer à l'April, ça vous tente ?
[^] # Re: Loupé...
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Journée de découverte Gentoo à Paris. Évalué à 1.
Adhérer à l'April, ça vous tente ?
# Coquille ?
Posté par Pol' uX (site web personnel) . En réponse à la dépêche La version 7 de Fedora est sortie !. Évalué à 5.
J'ai pas lu tout le lien, mais il semblerai que les patchs soit intégrés à la condition que le portable de Andrew y survive ...
Adhérer à l'April, ça vous tente ?
[^] # Re: et sinon, quand même
Posté par Pol' uX (site web personnel) . En réponse au message Compiler un module. Évalué à 2.
En revanche, il est tout à fait possible de créer un live CD/USB depuis une gentoo, mais ça demande quand même des compétences. Commence par bien maîtriser gentoo (ou tout autre GNU/linux ...) sur une config standard.
Autrement, ... http://fr.gentoo-wiki.com/HOWTO_Cr%C3%A9er_un_LiveCD_ou_une_(...)
PS : merci nicodache pour la coquille ... j'ai mal relu. En même temps, je n'utilise pas gentoo au travail, et je n'ai pas les sources du noyau sur moi ...
PPS : Pour les gens qui souhaitent découvrir gentoo, il y a le 2 juin une journée spéciale organisée entre Parinux et GentooMuch ... voir http://linuxfr.org/2007/05/29/22554.html
Adhérer à l'April, ça vous tente ?
[^] # Re: et sinon, quand même
Posté par Pol' uX (site web personnel) . En réponse au message Compiler un module. Évalué à 2.
Ton noyau actuel est le 2.6.17. Laisse tomber le nouveau boyau, sauf si tu as envie de changer ;-).
Vérifie par un ls -l /usr/src/ que tu as bien un lien /usr/src/linux -> /usr/src/linux-2.6.17-gentoo-r7, c'est important.
Ensuite, il faut activer ton module à la compilation :
cd /usr/src/linux
make menu config
Parcours le menu :
-> Device Drivers
---> SCSI device support
-----> SCSI low-level drivers
Et active (avec y ou m, selon que tu veuille un module ou un driver en dur dans le noyau) le champ Adaptec AIC94xx SAS/SATA support
Ensuite, quitte tout ça en sauvegardant, maintenant il faut compiler ...
Si tu as fait des modules :
make modules && make modules_install
Si tu as fait un noyau dur :
make && cp arch/i386/boot/bzImage /boot/nomDuNoyauDejaPresent (PS : une sauvegarde de l'ancien noyau n'est certainement pas superflu ...)
Si tu as fait un mix des deux (options en dur plus en module), tape les deux ligne ;-)
Ensuite, si tu as fait des modules, charge les : modprobe aic94xx (a voir, je n'ai pas les sources du noyau sous la main)
Si tu as fait des options en dur, reboote sur le bon noyau.
Ceci pourra te soutenir dans ta quête ... : http://www.gentoo.org/doc/fr/handbook/handbook-x86.xml?part=(...)
Adhérer à l'April, ça vous tente ?
# .
Posté par Pol' uX (site web personnel) . En réponse au message Compiler un module. Évalué à 2.
Tu devrait avoir un lien /usr/src/linux -> linux-2.6.20-gentoo-r4 à la version près.
2) Si tu es sous gentoo, je m'étonne que tu n'ai pas un noyau configuré. Amha, à la compilation de ton driver, il y a surement un bout de code qui va aller vérifier si /usr/src/linux/.config (i.e. la config du noyau courant) contient les bonnes options.
3) La magouille avec les makefiles, c'est que le makefile par défaut doit être pour les noyaux 2.4 et comme tu utilise un 2.6, ça n'utilise pas les mêmes fichiers makefile.
Maintenant, j'aimerai bien voir d'un peu plus près ton message d'erreur à la compile.
Bonne chance.
Adhérer à l'April, ça vous tente ?
[^] # Re: Temps d'install
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Journée de découverte Gentoo à Paris. Évalué à 2.
http://www.linux.org.mt/files/twm.jpg
Adhérer à l'April, ça vous tente ?
[^] # Re: Temps d'install
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Journée de découverte Gentoo à Paris. Évalué à 2.
Adhérer à l'April, ça vous tente ?
[^] # Re: Temps d'install
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Journée de découverte Gentoo à Paris. Évalué à 2.
En y allant cool, les gens devraient avoir un noyau qui boote à partir de 15h (et oui, c'est court, mais on va prévoir des raccourcis à l'installation), ensuite, ça dépend beaucoup des machines ... Pour la mienne (athlon XP 2200, c'est plus jeune !) il faut compter 4 heures de plus pour avoir Gnome.
Adhérer à l'April, ça vous tente ?
[^] # Re: Loupé...
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Journée de découverte Gentoo à Paris. Évalué à 1.
Je ne recommande pas d'utiliser le paquet source.
Adhérer à l'April, ça vous tente ?
# Article sur le monde.fr
Posté par Pol' uX (site web personnel) . En réponse à la dépêche Classmate PC : un concurrent pour OLPC ?. Évalué à 3.
Adhérer à l'April, ça vous tente ?