Jason Dagit wrote:
On Tue, Oct 12, 2010 at 4:41 PM, Ben Franksen
ben.frank...@online.dewrote:
Seriously, the server is a debian etch (!) system. Also called debian
old-stable. Of course I have long since installed newer version of
darcs, but since I am not root there I cannot put it into
On Wed, Oct 13, 2010 at 11:56 AM, Ben Franksen ben.frank...@online.dewrote:
As for your path, I'm reasonably confident that if you put your local
darcs
at the front of your path then you're good to go. I know that works for
local push, what I'm wondering about is push over ssh.
Works