Remove (more) unused remotes
This commit is contained in:
parent
4bbeda2157
commit
12806c6489
1 changed files with 1 additions and 6 deletions
|
|
@ -5,6 +5,7 @@
|
||||||
enable = true;
|
enable = true;
|
||||||
|
|
||||||
matchBlocks = {
|
matchBlocks = {
|
||||||
|
|
||||||
"aicloud" = {
|
"aicloud" = {
|
||||||
hostname = "aicloud";
|
hostname = "aicloud";
|
||||||
user = "hb05nk@cs.aau.dk";
|
user = "hb05nk@cs.aau.dk";
|
||||||
|
|
@ -36,12 +37,6 @@
|
||||||
identityFile = "~/.ssh/keys/hetzner";
|
identityFile = "~/.ssh/keys/hetzner";
|
||||||
};
|
};
|
||||||
|
|
||||||
"zero" = {
|
|
||||||
hostname = "zero.hw.yanlincs.com";
|
|
||||||
user = "yanlin";
|
|
||||||
identityFile = "~/.ssh/keys/pi";
|
|
||||||
};
|
|
||||||
|
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue