git checkout --track nom_du_remote/nom_de_la_branche

Par exemple :

git checkout --track origin/dev

Ce qui va avoir pour effet de créer une branche “dev” sur votre repo local, de vous switcher dessus, et la lier à la branche “dev” du remote “origin”.

Comme d’hab, assurez-vous que votre copie de travail est bien propre avant sinon ça va merder au moment de changer de branche.

Ouais, ouais, je sais, checkout est la commande fourre-tout de git qui fait absolument n’importe quoi. C’est relou.

Il y a plusieurs manières d’executer une commande shell sur un serveur distant, on peut utiliser paramiko ou un simple popen comme suit:

Pour connaitre le load average du serveur skynet:

 
from subprocess import Popen, call, PIPE
 
user= arnold
server = skynet.com
 
process = Popen(['ssh', '-t', user + '@' + server ,'cat', '/proc/loadavg'], bufsize=4096, stdout=PIPE)
output = process.communicate()[0]

Ce procédé implique d’avoir des clefs ssh configurées

Note: J’ai eu quelques problèmes de blocage lors du login au serveur distant jusqu’à ce que j’ajoute l’option -t à ssh

Edit:

En bash ça donne:

ssh arnold@skynet.com cat /proc/loadavg

ou pour avoir l’espace disque

ssh arnold@skynet.com df -h
etc.