Parenthèse sur les types de connexion

Prenons un peu de recul sur tout ce que vous venez de voir.

Un terminal sur votre machine

Vous avez ouvert un terminal sur votre machine :

vous pouvez lancer des commandes textuelles sur votre machine
vous pouvez agir sur vos fichiers locaux
vous pouvez en parallèle du terminal lancer des applications graphiques sur votre machine, pour faire des commandes par le biais d’une interface graphique

Vous avez ouvert un terminal sur votre machine, puis lancé une connexion SSH sur une autre machine

vous pouvez lancer des commandes textuelles sur l’autre machine
vous pouvez agir sur les fichiers sur l’autre machine
vous ne pouvez pas lancer d’application graphique sur l’autre machine, vous devez trouver les équivalents texte de toutes les commandes que vous voulez faire

Vous avez lancé dans une fenêtre graphique un remote desktop: c’est comme si vous étiez sur l’autre machine, vous pouvez tout faire comme en local.

Note: vous ne pouvez pas faire cela sur une Raspberry PI, vous pouvez seulement faire une connexion SSH/terminal

Vous avez sur votre machine tout le confort d’édition auquel vous avez l’habitude.

Dans un terminal, vous n’avez que des éditeurs de texte frustes.

Pour éditer des fichiers sur votre machine à exécuter sur une autre machine, vous avez deux solutions :

soit vous utilisez git sur votre machine et sur l’autre machine (voir plus loin), et vous faites des suites de git pushet git pull
soit vous utilisez sshfs qui vous permet de partager un disque de donnée à distance : vous connectez le disque de l’autre machine à votre machine locale avec le logiciel sshfs. Les données sur Raspberry PI apparaissent alors comme si elles étaient sur une clef USB sur votre machine, vous pouvez les éditer dans votre environnement et les modifications sont visibles de suite sur la Raspberry.

Sur mac :

installez macFuse et sshfs depuis https://osxfuse.github.io/
créez le dossier /Volumes/distant
tapez: sudo sshfs username@machine:/remote/directory /Volumes/distant (machine est le nom de l’autre machine, username est le nom de l’utilisateur sur l’autre machine)
vous voyez alors les fichiers locaux de l’autre machine dans le dossier /Volumes/distant

Sur Linux :

installez sshfs avec sudo apt install sshfs
créez le dossier /media/distant
tapez: sudo sshfs -o allow_other,default_permissions username@machine:/remote/directory /media/distant
vous voyez alors les fichiers locaux de l’autre machine dans le dossier /media/distant

Sur Windows :

installez WinFsp et sshfs-Win depuis https://github.com/winfsp/sshfs-win
connectez-vous à \\sshfs\username@remote\remote\directory dans l’explorateur de fichiers