An assortment of miscellania.
The main way to log into the server is with an ssh keypair. In fact, password-based logins are disabled.
If you don't have an existing ssh keypair you can create one with
ssh-keygen -t ed25519 -C "[email protected]"
For more details see the github help page. You will be asked to create a passphrase for the key, which you can leave blank if you wish.
After generating the key, please copy the contents of ~/.ssh/id_ed25519.pub (be sure to use the public key in .pub, not the private key without the extension) and email it along with your username on the server to [email protected] and your key will be added to your ~/.ssh/authorized_keys file. This will allow you to log into the server with
If you want a connection that automatically reconnects you can use mosh with
mosh [email protected]
If you want to avoid typing your username each time, you can add an entry to your ~/.ssh/config file of the form:
Host ides.club Hostname ides.club User username IdentityFile ~/.ssh/id_ed25519
For additional help, see the guide on the tilde.club/wiki or the tilde.town ssh guide. Or just ask for help in the #helpdesk channel on IRC or email [email protected].
Published: 2022-11-23
Tagged: utils