git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] git-remote: support remotes with a dot in the name

From
Junio C Hamano <junkio@cox.net>
Date
Feb 21, 2007, 07:32 UTC
Message-ID
<7vr6skrmo9.fsf@assigned-by-dhcp.cox.net>
In-Reply-To
<20070221021206.8onspw0840gcs8ck@webmail.spamcop.net>
Pavel Roskin <proski@gnu.org> writes:
Show 5 quoted lines
> I was thinking of something like
>
> [remote "wireless-2.6"]
> url = http://foo/bar
> url.push = ssh://foo/bar
Ahh.

I was not taking the above use case into account when I wrote that regexp, because I do not think we ever supported (nor were planning to ever support) names with dot at the third level.

> But I think it's quite unlikely to be named like that.

The second level ("wireless-2.6") is designed to be more lenient to accept wider "user level names" for branches, remotes, etc., but the third level is for variable names the programs use, and it is not the question of likely/unlikely, but more about how we (as the git system builders, not the end users) want to name our variables. So I do not think it is not such a big deal if we do not support "url.push" variable.

Show 5 quoted lines
>> But my Perl is rusty, so please double check it.
>
> The "(\S*?)" construct looks weird (you probably meant to use "(\S*)" for the
> remote name), but the rest is probably OK.  I'll send the "double-checked"
> patch tomorrow unless you beat me at that.

Actually I did mean to write "*?"; wasn't it how minimal match is written?

Previous: Shawn O. PearceNext: Theodore Tso
Message 7 of 8 in “git-remote: support remotes with a dot in the name”
  1. git-remote: support remotes with a dot in the namePavel Roskin, Feb 21, 2007
  2. Junio C HamanoFeb 21, 2007
  3. Pavel RoskinFeb 21, 2007
  4. Junio C HamanoFeb 21, 2007
  5. Pavel RoskinFeb 21, 2007
  6. Shawn O. PearceFeb 21, 2007
  7. Junio C HamanoFeb 21, 2007
  8. Theodore TsoFeb 21, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.