[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