[darcs-devel] [darcs-users] darcs remove command

ÅsmundSkjæveland aasmunds at ulrik.uio.no
Wed Nov 26 15:18:04 UTC 2008


> >> 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
> >>   



I have the same problem as in this old thread, only worse. I have darcs 1.0.9 on
the university computer where I have my repo, and darcs 2 on my working computer.

I used the ~/.ssh/environment trick, but for some reason that has been disabled.
I have asked for it to be re-enabled, but I have not gotten a reply from the
sysadmin yet.
.bashrc and .profile are not being read either.

With both of these options for setting $PATH unavailable, is there any option
left to get 'darcs push' working again short of writing a patch that lets darcs
store the path to remote-darcs on a per-repo basis?



More information about the darcs-devel mailing list