Subject: Re: Can't use gitk.

From: Franck <[email-masked]>
Date: Mon, 14 Nov 2005 15:00:50 +0100

Andreas

2005/11/14, Andreas Ericsson <[email-masked]>:
> 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