Re: git config key bug or by design?

2012-11-28 Thread Peter van der Does
On Tue, 27 Nov 2012 22:34:09 -0500 Jeff King p...@peff.net wrote: I don't recall ever discussing it. But what is it that you want to store in a key starting with a number? Git does not respect any such config values[1]. Are you writing a new tool that will store its config alongside git's?

Re: git config key bug or by design?

2012-11-28 Thread Jeff King
On Wed, Nov 28, 2012 at 07:11:47AM -0500, Peter van der Does wrote: I am writing a tool, it needs to store branch names in a separate config file. It's clear git doesn't respect those values, hence my question. I understand how to work around the problem, I would just prefix the key. I was

git config key bug or by design?

2012-11-27 Thread Peter van der Does
I noticed today I can't create a key starting with a number. The source code[1] confirms this, but is this a bug or is it by design? [1]: https://github.com/git/git/blob/master/config.c#L1265 -- Peter van der Does GPG key: CB317D6E IRC: Ganseki on irc.freenode.net Twitter: @petervanderdoes

Re: git config key bug or by design?

2012-11-27 Thread Jeff King
On Tue, Nov 27, 2012 at 10:14:46PM -0500, Peter van der Does wrote: I noticed today I can't create a key starting with a number. The source code[1] confirms this, but is this a bug or is it by design? I don't recall ever discussing it. But what is it that you want to store in a key starting

git config key bug or by design?

2012-11-27 Thread Peter van der Does
I noticed today I can't create a key starting with a number. The source code[1] confirms this, but is this a bug or is it by design? [1]: https://github.com/git/git/blob/master/config.c#L1265 -- Peter van der Does GPG key: CB317D6E IRC: Ganseki on irc.freenode.net Twitter: @petervanderdoes