diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/tramp.texi | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi index 96ec6d60b9e..a014319c02c 100644 --- a/doc/misc/tramp.texi +++ b/doc/misc/tramp.texi | |||
| @@ -3914,6 +3914,30 @@ shall be taken, add a proper rule to the user option | |||
| 3914 | @end lisp | 3914 | @end lisp |
| 3915 | 3915 | ||
| 3916 | 3916 | ||
| 3917 | @subsection Using different proxies for the same destination | ||
| 3918 | |||
| 3919 | @strong{Note}: This feature is experimental, don't use it in | ||
| 3920 | production systems! | ||
| 3921 | |||
| 3922 | Sometimes, it is needed to specify different proxies for the same | ||
| 3923 | destination host name. This can happen for the same destination when | ||
| 3924 | the local host is located in different networks over the time. This | ||
| 3925 | can also happen when the remote destination is specified by the remote | ||
| 3926 | same file name, although different hosts are meant depending on the | ||
| 3927 | used proxy. A typical example are docker containers, which run on | ||
| 3928 | different hosts under the same docker name. | ||
| 3929 | |||
| 3930 | When the user option @code{tramp-show-ad-hoc-proxies} is | ||
| 3931 | non-@code{nil}, such ad-hoc multi-hop file names can be used in | ||
| 3932 | parallel. In the following, on both remote hosts @samp{host1} and | ||
| 3933 | @samp{host2} there is a docker container @samp{name}, respectively: | ||
| 3934 | |||
| 3935 | @example | ||
| 3936 | @trampfn{ssh@value{postfixhop}user1@@host1|docker,name,} | ||
| 3937 | @trampfn{ssh@value{postfixhop}user2@@host2|docker,name,} | ||
| 3938 | @end example | ||
| 3939 | |||
| 3940 | |||
| 3917 | @node Home directories | 3941 | @node Home directories |
| 3918 | @section Expanding @file{~} to home directory | 3942 | @section Expanding @file{~} to home directory |
| 3919 | 3943 | ||