You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Antonio Vivace edited this page Jun 12, 2018
·
7 revisions
Some useful practices and commands used during development.
Save the pi ip and ssh login informations in .ssh/config
Host pi
Hostname x.x.x.x
User pi
IdentityFile ~/.ssh/id_ed25519
Use an SSH key (without password or with password saved by an ssh-agent) to automatically ssh to rpi (ssh pi)
Development/Editing files on the instance deployed on Raspberry
Rsync over ssh on each change and work locally (setup your editor to do this on each change). Do git things locally. rsync -rtv cb/coderbot/ pi@pi:/home/pi/coderbot
Mount with sshfs sudo sshfs -o allow_other,defer_permissions,IdentityFile=~/.ssh/id_rsa root@xxx.xxx.xxx.xxx:/ /mnt/droplet (on LAN works well)