Re: [PATCH] doc: format pathnames and URLs as monospace
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Feb 14, 2019, 19:04 UTC
- Message-ID
- <CAPig+cSkpUCm0=TZ-T2Lv5F0bxhGhyMMS6Nxj42JFbNupgpf0A@mail.gmail.com>
- In-Reply-To
- <20190214163043.7103-1-corentin.bompard@etu.univ-lyon1.fr>
On Thu, Feb 14, 2019 at 11:32 AM Corentin BOMPARD <corentin.bompard@etu.univ-lyon1.fr> wrote:
Show 6 quoted lines
> diff --git a/Documentation/technical/pack-protocol.txt b/Documentation/technical/pack-protocol.txt > @@ -107,7 +107,7 @@ Initiating the upload-pack or receive-pack processes over SSH is > It is basically equivalent to running this: > > - $ ssh git.example.com "git-upload-pack '/project.git'" > + $ ssh git.example.com "git-upload-pack `/project.git`"
This is already formatted as literal text using a monospaced font. More importantly, however, it is meant as a literal example of what a user would type, so changing the quoting is undesirable since doing so actually changes the meaning of the command. Therefore this should be dropped.
Also, there are several other instances of this example command just below this one which you didn't change. It's not clear why this one was singled out.