fix griffin
This commit is contained in:
parent
74d4c80929
commit
a040a2724b
1 changed files with 1 additions and 1 deletions
|
|
@ -139,7 +139,7 @@ in {
|
||||||
user = "tltien";
|
user = "tltien";
|
||||||
forwardAgent = true;
|
forwardAgent = true;
|
||||||
identityFile = "/home/tao/.ssh/id_ed25519";
|
identityFile = "/home/tao/.ssh/id_ed25519";
|
||||||
proxyCommand = "ssh stargate -W %h:%p";
|
proxyCommand = "ssh griffin.cs.usfca.edu";
|
||||||
};
|
};
|
||||||
"github" = {
|
"github" = {
|
||||||
hostname = "github.com";
|
hostname = "github.com";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue