[darcs-devel] Re: [darcs-users] darcs remove command
Juliusz Chroboczek
Juliusz.Chroboczek at pps.jussieu.fr
Thu Jul 5 16:49:14 PDT 2007
> 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
More information about the darcs-devel
mailing list