[darcs-users] get does not set default repo.
kgardas at objectsecurity.com
Sun Nov 21 19:56:54 UTC 2004
On Sun, 21 Nov 2004, David Roundy wrote:
> On Fri, Nov 19, 2004 at 06:24:30PM +0100, Karel Gardas wrote:
> > it seems that get is somewhat buggy and does not setup default parent
> > repository in case it gets it from local filesystem:
> > E.g.
> > darcs get $HOME/repo1 r2
> > or
> > darcs get --set-default $HOME/repo1 r2
> > does not set correct parent so later push/pull complains about not
> > provided default repo.
> Is $HOME/repo1 a symlink by any chance?
No, repo1 is not symlink, but yes, it is located in symlinked tree. E.g.
concrete situation looks:
thinkpad:~$ cd arch/devel/
thinkpad:~/arch/devel$ darcs get $HOME/arch/devel/mico-devel-darcs-repository test-repo-setup
thinkpad:~/arch/devel$ ls -la test-repo-setup/_darcs/prefs/
drwxrwsr-x 2 karel karel 4096 Nov 21 20:54 .
drwxrwsr-x 7 karel karel 4096 Nov 21 20:54 ..
-rw-rw-r-- 1 karel karel 281 Nov 21 20:54 binaries
-rw-rw-r-- 1 karel karel 274 Nov 21 20:54 boring
-rw-rw-r-- 1 karel karel 0 Nov 21 20:54 motd
thinkpad:~/arch/devel$ pwd -P
The most important are last two commands.
Karel Gardas kgardas at objectsecurity.com
ObjectSecurity Ltd. http://www.objectsecurity.com
More information about the darcs-users