From: "W. Trevor King" <wking@xxxxxxxxxx> There is no need to use here documents to setup this configuration. It is easier, less confusing, and more robust to use Git's configuration tools directly. Signed-off-by: W. Trevor King <wking@xxxxxxxxxx> --- Documentation/user-manual.txt | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 8524c08..53f73c3 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1994,14 +1994,17 @@ default. See the description of the receive.denyCurrentBranch option in linkgit:git-config[1] for details. As with `git fetch`, you may also set up configuration options to -save typing; so, for example, after +save typing; so, for example, after either -------------------------------------------------- -$ cat >>.git/config <<EOF -[remote "public-repo"] - url = ssh://yourserver.com/~you/proj.git -EOF -------------------------------------------------- +------------------------------------------------ +$ git remote add public-repo ssh://yourserver.com/~you/proj.git +------------------------------------------------ + +or, more explicitly, + +------------------------------------------------ +$ git config remote.public-repo.url ssh://yourserver.com/~you/proj.git +------------------------------------------------ you should be able to perform the above push with just -- 1.8.1.336.g94702dd -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html