From: Franck <vagabon.xyz@gmail.com>
Date: Mon, 14 Nov 2005 14:00:50 GMT
Subject: Re: Can't use gitk.
Message-ID: <cda58cb80511140600k2c0188c4i@mail.gmail.com>
In-Reply-To: <43787E6E.8030702@op5.se>

Andreas

2005/11/14, Andreas Ericsson <ae@op5.se>:
> Yes, but wish or some such might strip $HOME/bin away from it.
>
> Try doing
>
> make clean; make prefix=/usr
> sudo make prefix=/usr install
>
> and see if it works.

it works.

>
> If it does, some program somewhere is manipulating your $PATH.

It seems that once wish is executed, $PATH does not include anymore my
$HOME/bin directory. Do you have any idea why ?

Thanks
--
               Franck