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

Re: Should Cogito scripts be renamed?

From
JWJosef Weidendorfer <josef.weidendorfer@gmx.de>
Date
Sep 16, 2005, 15:40 UTC
Message-ID
<200509161740.23685.Josef.Weidendorfer@gmx.de>
In-Reply-To
<E1EG3ku-0005hU-Eb@jdl.com>
On Friday 16 September 2005 02:07, jdl@freescale.com wrote:
Show 8 quoted lines
> So, like, the other day Petr asked:
> >  I'd like to hear the opinion of Cogito users about renaming the Cogito
> > commands accordingly to the GIT big renames. This would be:
> >
> >	cg-pull -> cg-fetch
> >	cg-update -> cg-pull
> ...
> As with git, sooner rather than later, please.

Same option here. The 4-phased renaming could be shortened by letting cg-pull always ask the following if eg. .git/no-cg-pull-warning does not exist:

 Warning: cg-pull includes merging after fetch since cogito 0.15
          Use cg-fetch to do the fetching phase only
 [To get rid of this warning, run 'touch .git/no-cg-pull-warning']
 Do you want to continue (y/n) [n] ?

Getting rid of this annoying question should be easy enough everybody, and via the template-system even for git packers... Even if disabled, I would still do

 Remember: cg-pull includes merging after fetch since cogito 0.15
           Press Ctrl-C in the next 2 seconds to abort.
Josef
Previous: jdl@freescale.com
Message 3 of 3 in “Should Cogito scripts be renamed?”
  1. Petr BaudisSep 15, 2005
  2. jdl@freescale.comSep 16, 2005
  3. Josef WeidendorferSep 16, 2005

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.