On 10:22 Tue 06 Aug     , Matthieu Weber wrote:
> On Mon 05.08.2013 at 06:26:49PM -0700, milki wrote:
> > On 21:35 Mon 05 Aug     , Matthieu Weber wrote:
> > > The second is that for some reason (my git version is too old?), "pass 
> > > git pull"
> > > fails with the following error: 
> > >   fatal: /usr/lib/git-core/git-pull cannot be used without a working tree.
> > > The solution is to "cd $GIT_WORK_TREE" before executing git, which should 
> > > be
> > > harmless. An alternative would be to unset GIT_WORK_TREE, but I fear it 
> > > would
> > > break some other git command :(
> > 
> > Perhaps it should be git fetch instead? Or maybe it should actually be a
> > mirror and use git push --mirror and git fetch --mirror.
> 
> What is this --mirror option? I can't find it in git-fetch man page.

Hm...seems to only be visible for clone and push. There's also the
config remote.<name>.mirror.


> And even though "pass git fetch" works perfectly, it does not update the
> working directory (pull is equal to fetch + merge), so the updating of
> the working directory must be made as a separate step.

Yes thats true. For some reason, I was thinking there was no working
dir. cd'ing or setting the GIT_WORKTREE would be the correct solutions
then.

-- 
milki
_______________________________________________
Password-Store mailing list
[email protected]
http://lists.zx2c4.com/mailman/listinfo/password-store

Reply via email to