[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