add rpi host
This commit is contained in:
parent
dd404951ad
commit
9131c9061f
1 changed files with 6 additions and 0 deletions
|
|
@ -52,6 +52,12 @@
|
||||||
identityFile = "~/Credentials/ssh_keys/hetzner";
|
identityFile = "~/Credentials/ssh_keys/hetzner";
|
||||||
};
|
};
|
||||||
|
|
||||||
|
"rpi" = {
|
||||||
|
hostname = "100.117.162.102";
|
||||||
|
user = "yanlin";
|
||||||
|
identityFile = "~/Credentials/ssh_keys/rpi";
|
||||||
|
};
|
||||||
|
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue