config doc: quote paths, fixing tilde-interpretation

The --global section of git-config(1) currently reads like:

For writing options: write to global /.gitconfig file rather than the
^
start tilde

repository .git/config, write to $XDG_CONFIG_HOME/git/config file if
this file exists and the/.gitconfig file doesn’t.
^
end tilde

Instead of tilde (~) being interpreted literally, asciidoc subscripts
the text between the two tildes.  To fix this problem, use backticks (`)
to quote all the paths in the file uniformly, just like config.txt does.

Signed-off-by: Ramkumar Ramachandra <artagnon@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Documentation/git-config.txt b/Documentation/git-config.txt
index fbad05e46f1781e26955c2d5f66031500265fc0e..cc455ec785f7681c4959579e716720050ddf2f85 100644 (file)
--- a/Documentation/git-config.txt
+++ b/Documentation/git-config.txt
@@ -96,29 +96,31 @@ OPTIONS
        names are not.
 
 --global::
        names are not.
 
 --global::

-       For writing options: write to global ~/.gitconfig file rather than
-       the repository .git/config, write to $XDG_CONFIG_HOME/git/config file
-       if this file exists and the ~/.gitconfig file doesn't.
+       For writing options: write to global `~/.gitconfig` file
+       rather than the repository `.git/config`, write to
+       `$XDG_CONFIG_HOME/git/config` file if this file exists and the
+       `~/.gitconfig` file doesn't.

 +
 +

-For reading options: read only from global ~/.gitconfig and from
-$XDG_CONFIG_HOME/git/config rather than from all available files.
+For reading options: read only from global `~/.gitconfig` and from
+`$XDG_CONFIG_HOME/git/config` rather than from all available files.

 +
 See also <<FILES>>.
 
 --system::
 +
 See also <<FILES>>.
 
 --system::

-       For writing options: write to system-wide $(prefix)/etc/gitconfig
-       rather than the repository .git/config.
+       For writing options: write to system-wide
+       `$(prefix)/etc/gitconfig` rather than the repository
+       `.git/config`.

 +
 +

-For reading options: read only from system-wide $(prefix)/etc/gitconfig
+For reading options: read only from system-wide `$(prefix)/etc/gitconfig`

 rather than from all available files.
 +
 See also <<FILES>>.
 
 --local::
 rather than from all available files.
 +
 See also <<FILES>>.
 
 --local::

-       For writing options: write to the repository .git/config file.
+       For writing options: write to the repository `.git/config` file.

        This is the default behavior.
 +
        This is the default behavior.
 +

-For reading options: read only from the repository .git/config rather than
+For reading options: read only from the repository `.git/config` rather than

 from all available files.
 +
 See also <<FILES>>.
 from all available files.
 +
 See also <<FILES>>.


@@ -215,9 +217,9 @@ $GIT_DIR/config::
 
 $XDG_CONFIG_HOME/git/config::
        Second user-specific configuration file. If $XDG_CONFIG_HOME is not set
 
 $XDG_CONFIG_HOME/git/config::
        Second user-specific configuration file. If $XDG_CONFIG_HOME is not set

-       or empty, $HOME/.config/git/config will be used. Any single-valued
+       or empty, `$HOME/.config/git/config` will be used. Any single-valued

        variable set in this file will be overwritten by whatever is in
        variable set in this file will be overwritten by whatever is in

-       ~/.gitconfig.  It is a good idea not to create this file if
+       `~/.gitconfig`.  It is a good idea not to create this file if

        you sometimes use older versions of Git, as support for this
        file was added fairly recently.
 
        you sometimes use older versions of Git, as support for this
        file was added fairly recently.