Update remote services list

This commit is contained in:
Marcus Kammer 2023-11-03 11:20:20 +01:00
parent 35c3dc3f7b
commit 38fbc771c8
Signed by: marcuskammer
GPG key ID: C374817BE285268F

View file

@ -195,7 +195,7 @@ Takes OPTION as an argument and prints its description."
(defvar mk/remote-*host-aliases*
'(("website" . "marcus@u1.marcuskammer.dev")
("playground" . "marcus@u1.metaebene.dev"))
("metalisp" . "cl@u1.metalisp.dev"))
"Alist mapping friendly host names to actual SSH-compatible host strings.")
(defun mk/remote--get-real-host (alias)