diff options
| author | Michael Albinus | 2015-10-18 13:22:02 +0200 |
|---|---|---|
| committer | Michael Albinus | 2015-10-18 13:22:02 +0200 |
| commit | 1c75616af01286eb7df1ae646c77071255bb25f7 (patch) | |
| tree | fb810f5577cbdf52855bc5878b936acf63f4c70d /doc/misc | |
| parent | 1d378c0b9b105ffe6710411ef01b6a9b8cc2a21d (diff) | |
| download | emacs-1c75616af01286eb7df1ae646c77071255bb25f7.tar.gz emacs-1c75616af01286eb7df1ae646c77071255bb25f7.zip | |
Some minor Tramp changes
* doc/misc/tramp.texi (Obtaining Tramp): Add http git cloning.
* lisp/net/tramp.el (tramp-handle-make-auto-save-file-name):
Expand `tramp-auto-save-directory'.
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/tramp.texi | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi index 8658f6f81a7..8673b00b23d 100644 --- a/doc/misc/tramp.texi +++ b/doc/misc/tramp.texi | |||
| @@ -429,6 +429,14 @@ Or follow the example session below: | |||
| 429 | @end example | 429 | @end example |
| 430 | 430 | ||
| 431 | @noindent | 431 | @noindent |
| 432 | If you reside behind a firewall, you could use | ||
| 433 | |||
| 434 | @example | ||
| 435 | ] @strong{git config --global http.proxy http://user:pwd@@proxy.server.com:8080} | ||
| 436 | ] @strong{git clone http://git.savannah.gnu.org/r/tramp.git} | ||
| 437 | @end example | ||
| 438 | |||
| 439 | @noindent | ||
| 432 | Tramp developers use instead | 440 | Tramp developers use instead |
| 433 | 441 | ||
| 434 | @example | 442 | @example |