Ssh key share for XPPL

Generating keys

We already generated a key following this: https://www.digitalocean.com/community/tutorials/how-to-set-up-ssh-keys--2

There is a user account called »xppl« on the xpub server, to which you can connect to using the private key.

http://pzwart1.wdka.hro.nl/~xppl/

scp'ing to xppl

You need to get the public and private key (currently @ Alex and Joca). These files are called xppl_rsa_id and xppl_rsa_id.pub
Save the keys at the place where your keys are stored. Depending on your OS it could be e.g. /home/<your username>/.ssh on Ubuntu, or Users/<your username>/.ssh on MacOS.
Too simplify your ssh logins, create a config file as follows:

nano ~/.ssh/config

insert:

Host xppl // name for the shortcut you use to ssh into the server
User xppl // ssh user
Hostname pzwart1.wdka.hro.nl // hostname of the server
Port 22
Identityfile ~/.ssh/xppl_id_rsa // change and make sure this is the path to the location of your keys
Serveraliveinterval 30

From now on you can use xppl as a shortcut for xppl@pzwart1.wdka.hro.nl for ssh and scp
The use of config is especially convenient when you have keys for different servers. It helps you to keep them organized and to ssh into servers with easy to remember shortcuts.