-
Notifications
You must be signed in to change notification settings - Fork 116
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
8e6bcdd
commit 6dccfb5
Showing
2 changed files
with
31 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,26 @@ | ||
FAQ | ||
=== | ||
|
||
How can I use Extraterm's shell integration over ssh? | ||
----------------------------------------------------- | ||
|
||
To use Extraterm's shell integration across `ssh` two things have to be set up: | ||
|
||
* Just like on your local machine the script from the extraterm-commands zip needs to be read in on the remote machine. | ||
* The `EXTRATERM_COOKIE` environment variable needs to be set on the remote end. | ||
|
||
First, before you run `ssh`, print the value of the `EXTRATERM_COOKIE` environment variable. | ||
``` | ||
echo $EXTRATERM_COOKIE | ||
``` | ||
Now, run `ssh` to go to your remote machine. Set the `EXTRATERM_COOKIE` environment variable to the value which was just displayed before. | ||
|
||
For bash and zshell that is: | ||
``` | ||
EXTRATERM_COOKIE=<value goes here> | ||
``` | ||
Fish uses: | ||
``` | ||
set -x EXTRATERM_COOKIE <value goes here> | ||
``` | ||
Hopefully this will be made easier in the future. |