- Systeme - Listes du LIPN

Re: ça ne vas pas très bien avec ma nouvelle machine
by Emmanuel Viennet 02 Oct '03

02 Oct '03

Bonjour, je n'ai pas le temps de regarder (et surtout ne connais pas assez gprolog pour aller plus loin que le 1er prompt). Ca ressemble a un pb de lib dynamique incompatible. Le paquet RPM installe est gprolog-1.2.16-1 (non fourni par RedHat, d'ou le probleme: le coupable est l'empaquetteur, ici l'INRIA, qui n'a pas bien déclaré ses dépendances http://pauillac.inria.fr/~diaz/gnu-prolog) La solution est donc de repartir des sources ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/gprolog-1.2.16.tar.gz de recompiler (sur un compte utilisateur si possible) et de tester (je pense que Faycal pour t'aider pour ca s'il a le temps) Bon courage, Emmanuel On Thu, 2003-10-02 at 10:54, Idir Khemmoudj wrote: > Bonjour > > j'ai un problème que je ne sais pas résoudre avec ma nouvelle machine. > > la compilation de certains programmes que j'ai ecris en gnu-prolog ne réussi pas > sur ma nouvelle machine (bratislava) alors que ça réussi sur une autre (madrid). > > les messages que j'obtiens sont de la sorte: > > /usr/lib/gprolog-1.2.16/lib/liblinedit.a(terminal.o)(.text+0x602): In function > `LE_Get_Char': > : undefined reference to `__ctype_b' > collect2: ld returned 1 exit status > > > pouvez vous svp m'aider à résoudre ce pb ? > > merci > > ============================================================= > Idir Khemmoudj > LIPN - UMR CNRS 7030 - Institut GALILEE > Universite de PARIS-NORD > 99 Avenue Jean-Baptiste Clement 93430 Villetaneuse (France) > Tel (bureau) (+33) 1 49 40 40 70 > > ============================================================ > > > ------------------------------------------------- > Message envoye par IMP: http://horde.org/imp/ > LIPN - CNRS UMR 7030 - http://www-lipn.univ-paris13.fr -- Emmanuel Viennet LIPN - Institut Galilee - Universite Paris-Nord

1 1

HELSINKI
by Faycal Djerourou 01 Oct '03

01 Oct '03

[root@helsinki root]# su fd su: user fd does not exist [root@helsinki root]# Y-a-t-il un lien entre ce qu'a fait Emmanuel (les liens ves les rep persos) et ce message sur Helsinki?

2 2

Compte Hakima (hkd)
by Vlady RAVELOMANANA 01 Oct '03

01 Oct '03

Salut a tous, je vous ecris parce que Hakima n'arrive plus a se logguer sur Helsinki. Elle m'a charge de transmettre. Amities, Vlady

1 0

MOUNT SUR FORTALEZA
by Faycal Djerourou 01 Oct '03

01 Oct '03

Bonjour a tous, J'ai bien vérifie, ce n'est pas le cas. !!!!!! FD Le mer 01/10/2003 à 11:25, gap(a)lipn.univ-paris13.fr a écrit : > > Bonjour, > J'ai un probleme de demontage floppy sur fortaleza, bureau A103. > Je n'arrive pas a demonter le /mnt/floppy > > umount : /mnt/floppy : périphérique occupé (malgre qu'aucun process actif > n'utilise le /mnt/floppy). > > J'ai bien verifie ma disquette, apparemment elle n'est pas défectueuse. > > Je n'arrive pas non plus à lancer la commande lsof. > > Amicalement, > > GAP. > > ------------------------------------------------- > Message envoye par IMP: http://horde.org/imp/ > LIPN - CNRS UMR 7030 - http://www-lipn.univ-paris13.fr > _______________________________________________ > Systeme mailing list > Systeme(a)lipn.univ-paris13.fr > https://lipn.univ-paris13.fr/mailman/listinfo/systeme

1 0

Probleme de demontage floppy
by gap＠lipn.univ-paris13.fr 01 Oct '03

01 Oct '03

Bonjour, J'ai un probleme de demontage floppy sur fortaleza, bureau A103. Je n'arrive pas a demonter le /mnt/floppy umount : /mnt/floppy : périphérique occupé (malgre qu'aucun process actif n'utilise le /mnt/floppy). J'ai bien verifie ma disquette, apparemment elle n'est pas défectueuse. Je n'arrive pas non plus à lancer la commande lsof. Amicalement, GAP. ------------------------------------------------- Message envoye par IMP: http://horde.org/imp/ LIPN - CNRS UMR 7030 - http://www-lipn.univ-paris13.fr

2 1

[SYSTEME]Candidature restreinte
by Guillaume Vauvert 01 Oct '03

01 Oct '03

Bonjour, j'aimerais avoir un peu plus de pouvoir pour régler les petits problèmes qui sont à ma portée. Je souhaiterais donc intégrer la prestigieuse équipe système, mais dans un premier temps (jusqu'à la soutenance de ma thèse en décembre), je ne souhaite pas y consacrer trop de temps, et donc éviter en particulier les réunions. Ce statut est-il possible ? Guillaume PS : une petite suggestion : Karima Akli avait un problème d'impression : finalement, Emmanuel, Jean-Christophe, Fayçal et moi-même sommes intervenus. Certes, il vaut mieux qu'il y en ait 4 que 0, mais ne vaudrait-il pas mieux qu'une seule personne se charge du problème et le signale aux autres (quitte à faire appel à d'autres compétences si nécessaire).

3 2

[SYSTEME]Pb d'impression des pdf avec ggv
by Guillaume Vauvert 01 Oct '03

01 Oct '03

Bonjour, Sous Redhat/Gnome (au moins massachusets et argoun), ggv ne lance pas l'impression des documents pdf (mais ça marche bien avec les .ps), alors que c'est le handler par défaut des pdf. Aucun message, tout semble se passer correctement, mais rien ne se passe. Pour ma part, je convertis les pdf en ps avec xpdf, puis j'imprime le .ps avec un bon vieux lp, mais, bon, y en a qui n'aiment pas ça. Guillaume

2 2

[SYSTEME]Accès partitions windows depuis linux
by Guillaume Vauvert 01 Oct '03

01 Oct '03

Pb:sur argoun et massachusets, on n'a pas accès aux partitions windows, ce qui peut être gênant pour transférer des fichiers d'un système à l'autre. Sol:il suffirait de rajouter les lignes qu'il faut dans /etc/fstab, au moins pour la/les partition/s qui contient les données utilisateur. Guillaume

1 1

l'invité d'Alger du professeur KAYSER
by akli＠lipn.univ-paris13.fr 30 Sep '03

30 Sep '03

Bonjour J'ai des problèmes d'impressions sous LINUX. Je ne connais pas le nom des imprimantes des différents étages. Cordialement Karima ------------------------------------------------- Message envoye par IMP: http://horde.org/imp/ LIPN - CNRS UMR 7030 - http://www-lipn.univ-paris13.fr

3 2

Changer son URL HANDLER ds evolution
by Faycal Djerourou 30 Sep '03

30 Sep '03

Qaund je clique sur un lien dans evolution il me lance mozilla. Par contre je veux que ca soit plutot galeon. Quelle variable gnome dois-je changer. J'ai utiliser grep pour cherche une chaine URL-HANDLER, je n'ai pas pu la trouver. Qui sait comment changer le browser par default (quel fichier dois-je toucher)? Merci.

3 3