Running mr commands on one type of repo, only?

[Richard Hartmann]

On Sat, Apr 30, 2011 at 19:04, Joey Hess <joey at kitenet.net> wrote:
> [DEFAULT]
> git_gc = git gc "$@"

Thanks, that works (mostly).

Two notes for the benefit of others on the list:

This does not work:

  include = cat ~/.config/mr/config.d/*

  [DEFAULT]
  git_gc = git gc "$@"

while this does:

  [DEFAULT]
  git_gc = git gc "$@"

  include = cat ~/.config/mr/config.d/*

and mr is confused by (fake) bare repos, telling me it's an unknown repo type.

I suspect that the latter is desired behaviour (normally, mr will not
need to operate on bare repos) and the former makes sense, in a way.


Richard


PS: I will hopefully package vcsh soonish and will look at patching me
to detect fake bare bit repos then. I have been using `vcsh run` in
the respective configs for some time now and it works wonderfully.