Basic Setup

sh ./init.sh

Generate Your Development SSH Key

1. Generate your key for the development machine

   ssh-keygen -t rsa -b 2048
   

2. Copy your public key (~/.ssh/id_rsa.pub) to your GitHub Account's "SSH Keys"

3. Copy the following to the file ~/.ssh/config (substitute by your own info)

   Host github.com
   Hostname github.com
   User sebastiaagramunt
   PreferredAuthentications publickey
   IdentityFile ~/.ssh/id_rsa_github
   

   Considering you have named your private key file id_rsa_github. Now add the email addresss to the git

   git config --global user.email "email@example.com"
   

Remote access to machines

1. Place your public key in the remote machine and your private key in your local one (in ~/.ssh/id_rsa_rpi) if your filename is id_rsa_rpi.
2. Add the following to the configuration file ~/.ssh/config.

   Host raspberry
   HostName 0.0.0.0
   User pi
   Port 5555
   IdentityFile ~/.ssh/id_rsa_rpi
   

   substituing the HostName by the public IP of the machine and the User by the user name for login inside the remote machine. Also change the port to the one enabled by ssh (normally 22).
3. Access the remote machine like ssh raspberry

Pyenv and pyenv-virtualenvwrapper setup

Follow the instructions on this gist to setup pyenv and pyenv-virtualenvwrapper. With pyenv you can manage specific python versions avaliable system-wide, with the wrapper for virtual enviroment you can create an environment with a specific python version. All this availiable system-wide. For project individual virtual enviroments it is more common to use pyenv with venv instead.