Ubuntu-fr

gene69

[shell] bug bizarre

Voilà voilà. Je fonctionne avec valgrind 3.2.0 et je desside de passer à 3.2.1.
apt-get remove valgrind puis apres je compile les sources de la version 3.2.1 ./configure make make install tout va bien. je reprend l'autre instance de mon shell dans laquelle je travaille.

gene69@BoCau:~/Desktop$ echo $PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11:/usr/games

gene69@BoCau:~/Desktop$ which valgrind
/usr/local/bin/valgrind

gene69@BoCau:~/Desktop$ valgrind --log-file=/home/gene69/Desktop/val_main ~/Desktop/main 
bash: /usr/bin/valgrind: Aucun fichier ou répertoire de ce type

j'allais oublier:

gene69@BoCau:~/Desktop$ ls /usr/local/bin/valgrind
/usr/local/bin/valgrind

Dernière modification par gene69 (Le 06/11/2006, à 21:39)

---

Quand le berger est lâche, le loup chie de la laine.
A (draft) guide to UFO Alien-Invasion

kezar

Re : [shell] bug bizarre

chmod +x ?

gene69

Re : [shell] bug bizarre

non parce que lorsque j'invoquais /usr/local/bin/valgrind ça marchait.
je relance le terminal et ça marche normalement. ptit bug bizarre

---

Quand le berger est lâche, le loup chie de la laine.
A (draft) guide to UFO Alien-Invasion

kezar

Re : [shell] bug bizarre

Il manquait peut-être un export $PATH pour que ça fonctionne du premier coup