On Wed, May 25, 2022 at 6:35 AM Shao-Ce SUN via GitGitGadget <gitgitgadget@xxxxxxxxx> wrote: > > From: Shao-Ce SUN <sunshaoce@xxxxxxxxxxx> > > The user prompt should be `$` instead of `#`. On the following lines: $ make prefix=/usr all doc info ;# as yourself # make prefix=/usr install install-doc install-html install-info ;# as root the '$' or '#' before "make" is indeed a prompt, but the '#' before "as" starts a single line comment. So there is no need to change it into a '$'. See for example: https://tldp.org/LDP/abs/html/abs-guide.html#SPECIAL-CHARS One issue with the above lines could be that there is no space character before the '#' that starts the comments. The ';' is a command separator character though, and I think that when a new command starts with '#' it's considered a comment. So we could perhaps get rid of the ';', but on the other hand ";#" should make it extra clear that the command before it ended and that the rest of the line is a comment. > Signed-off-by: Shao-Ce SUN <sunshaoce@xxxxxxxxxxx> > --- > Fix wrong info in INSTALL Instead of "info" you could say something more specific like "prompt character". Also we start commit subjects with the area of the code, so maybe "INSTALL: fix wrong prompt character". > diff --git a/INSTALL b/INSTALL > index 4140a3f5c8b..7bb3f48311d 100644 > --- a/INSTALL > +++ b/INSTALL > @@ -5,8 +5,8 @@ Normally you can just do "make" followed by "make install", and that > will install the git programs in your own ~/bin/ directory. If you want > to do a global install, you can do > > - $ make prefix=/usr all doc info ;# as yourself > - # make prefix=/usr install install-doc install-html install-info ;# as root > + $ make prefix=/usr all doc info ; $ as yourself Here a '#' is changed into a '$' but also a space character is inserted before the '$' without any explanation. > + # make prefix=/usr install install-doc install-html install-info ; # as root Here only a space character is inserted before the second '#' without any explanation.
