[darcs-users] darcs remove command

Allan Clark a.d.clark at ed.ac.uk
Fri Jul 6 08:12:14 UTC 2007


Juliusz Chroboczek wrote:
>> But if you don't have the ability to change the default path (or move
>> the darcs executable into it) then this basically means you know what
>> the problem is but you can't solve it.
>> In my case I shouted (okay asked politely) at support but was met with "no"
>>     
>
> Allan,
>
> You don't need to have darcs in the system default path; you only need
> to have it in your personal default path.
>
> Assuming you're using bash, the following should do the trick:
>
>   $ mkdir ~/bin/
>   $ mv darcs ~/bin/
>   $ echo 'PATH="$HOME/bin:$PATH"' >> ~/.bashrc
>
>                                         Juliusz
>   
Oh yes this is already in my ~/.bashrc, otherwise I wouldn't be able to 
run darcs when normally logged in (ie. when I am actually at work). The 
problem is that a non-interactive shell doesn't run ~/.bashrc (at least 
not on the setup here).
So basically I:
a) Couldn't seem to change the default path for a non-interactive remote 
login
b) couldn't install darcs in what is the default path ...

It's quite possible that there is some way to do "a", however I did ask 
support and they claimed there to be no way.

thanks for the advice anyway.
regards
allan




More information about the darcs-users mailing list