j'ai essayé de le compiler (c'est effectivement très long), mais j'ai ces erreurs à la fin :
install: ne peut évaluer `bin/coqide.byte': Aucun fichier ou dossier de ce type
install: ne peut évaluer `bin/coqide.opt': Aucun fichier ou dossier de ce type
make[1]: *** [install-ide-opt] Erreur 1
make ...
La recherche a retourné 15 résultats
Aller sur la recherche avancée
- mar. 09 mars 2010, 19:29
- Forum : Dépôts [archlinuxfr]
- Sujet : [coq] demande d'ajout de package au dépôt
- Réponses : 4
- Vues : 3499
- jeu. 11 déc. 2008, 20:39
- Forum : Dépôts [archlinuxfr]
- Sujet : [BEPO] Installer le BÉPO sous Xorg (topic périmé)
- Réponses : 28
- Vues : 16894
- sam. 13 sept. 2008, 12:27
- Forum : Environnements graphiques
- Sujet : [kdemod3] Kcontrol vide
- Réponses : 2
- Vues : 1800
- sam. 13 sept. 2008, 11:43
- Forum : Environnements graphiques
- Sujet : [kdemod3] Kcontrol vide
- Réponses : 2
- Vues : 1800
[kdemod3] Kcontrol vide
Bonjour !
J'ai effectué il y a quelques temps une mise à jour de mon système, à cette occasion xorg a été mis à jour, depuis lors kcontrol est vide.
Dis comme ça ça peut paraître bizarre, je suppose qu'un screen sera donc plus parlant : http://site.voila.fr/bhmerlang/kcontrol.png
Et le seul message ...
J'ai effectué il y a quelques temps une mise à jour de mon système, à cette occasion xorg a été mis à jour, depuis lors kcontrol est vide.
Dis comme ça ça peut paraître bizarre, je suppose qu'un screen sera donc plus parlant : http://site.voila.fr/bhmerlang/kcontrol.png
Et le seul message ...
- sam. 21 juin 2008, 22:47
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- sam. 21 juin 2008, 21:01
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- mer. 18 juin 2008, 21:42
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- mer. 18 juin 2008, 11:49
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- mar. 17 juin 2008, 23:58
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- sam. 31 mai 2008, 10:28
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- mer. 21 mai 2008, 18:15
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- sam. 26 avr. 2008, 01:12
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- ven. 25 avr. 2008, 18:01
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- ven. 25 avr. 2008, 14:45
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
- ven. 25 avr. 2008, 14:18
- Forum : Environnements graphiques
- Sujet : [NVIDIA] Problème accélération graphique
- Réponses : 20
- Vues : 7064
[NVIDIA] Problème accélération graphique
Bonjour,
Je suis nouveau sous arch (installée hier) et j'ai donc passé ma journée à ins -
taller et configurer mon système. J'ai suivi cet article :
http://wiki.archlinux.fr/xorg:nvidia:proprio pour installer les drivers proprié-
taires de ma CG et activer l'accélération graphique, apparemment tout ...
Je suis nouveau sous arch (installée hier) et j'ai donc passé ma journée à ins -
taller et configurer mon système. J'ai suivi cet article :
http://wiki.archlinux.fr/xorg:nvidia:proprio pour installer les drivers proprié-
taires de ma CG et activer l'accélération graphique, apparemment tout ...