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

Re: [PATCH 0/3] Documentation: change "folder" to "directory"

From
Derrick Stolee <stolee@gmail.com>
Date
Oct 25, 2021, 15:31 UTC
Message-ID
<74e5e039-b259-644a-9566-c866d72cf638@gmail.com>
In-Reply-To
<cover.1635094161.git.martin.agren@gmail.com>
On 10/24/2021 1:09 PM, Martin Ågren wrote:
Show 7 quoted lines
> It is my understanding that we prefer "directory" over "folder" when
> discussing the file system concept. (Whereas "folder" is commonly used
> for the GUI view of such a directory, or for an IMAP folder.)
> 
> I stumbled on a mention of the ".git folder" when going through the
> doc-diff between v2.33.0 and 9d530dc002 ("The fourteenth batch",
> 2021-10-18), and started looking around. This series is the outcome.

Thanks for these changes, in particular for the ones that I had introduced in git-multi-pack-index.txt.

Thanks, -Stolee

Previous: Junio C HamanoNext: Junio C Hamano
Message 8 of 9 in “Documentation: change "folder" to "directory"”
  1. 0/3 Documentation: change "folder" to "directory"Martin Ågren, Oct 24, 2021
  2. 1/3 git-multi-pack-index.txt: change "folder" to "directory"Martin Ågren, Oct 24, 2021
  3. 2/3 gitignore.txt: change "folder" to "directory"Martin Ågren, Oct 24, 2021
  4. 3/3 gitweb.txt: change "folder" to "directory"Martin Ågren, Oct 24, 2021
  5. Bagas SanjayaOct 25, 2021
  6. Martin ÅgrenOct 26, 2021
  7. Junio C HamanoOct 27, 2021
  8. Derrick StoleeOct 25, 2021
  9. Junio C HamanoOct 25, 2021

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.