Re: git gui does not open bare repositories

From: Frans Klaver <fransklaver@gmail.com>
Date: Sep 28, 2012, 08:35 UTC
Message-ID: <CAH6sp9ME0og0E-=oW6MBFMBv8hD0y8PpmdpyaV4qqr7Mb7c5VA@mail.gmail.com>
In-Reply-To: <CAB9Jk9BivVrH7daMR=u5Y6Ut=pZGRBcgKNZ_afZ53XFxhFBnZw@mail.gmail.com>

Hi,

Please remember to reply to all when discussing things on the git mailing list.

On Fri, Sep 28, 2012 at 10:29 AM, Angelo Borsotti <angelo.borsotti@gmail.com> wrote:

Show 26 quoted lines

> Hello
>
> I apologise for having used the wrong script to reproduce the error.
> This is  the right one:
>
> angelo@ANGELO-PC /d/gtest (master)
> $ mkdir remote.git
>
> angelo@ANGELO-PC /d/gtest (master)
> $ cd remote.git
>
> angelo@ANGELO-PC /d/gtest/remote.git (master)
> $ git init --bare
> Initialized empty Git repository in d:/gtest/remote.git/
>
> Now with the git gui I try to open the d:/gtest/remote.git/ and
> receive the message
> that it is not a git repository.
>
> I understand that the gui is mostly aimed to non-bare repositories,
> but in such a case
> it would be better it could give me a message like, e.g. "could not
> open a bare repository"
> instead of telling me that it is not a git repository (I thought my
> bare repository was
> corrupt, and tried to figure out what was wrong with it).

Actually git-gui 0.16.0 is telling me that it cannot use bare repositories, much in the vein of what I wrote earlier. Don't know if it matters that I'm on Linux though.

Frans