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?
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
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
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
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
5 matches
Mail list logo