quelques outils que j'utilise :
- putty.exe : pour faire du SSH sous Windows (désormais, ssh me semble disponible de base sous Windows 10)
- winscp.exe : copie de fichiers en SFTP)
- gcc.exe : gcc (minimaliste) pour windows
- VcXsrv : serveur X11 pour windows, permet de faire du graphique X11 sur windows, soit pour un programme local compilé par exemple avec mingw, avec Bash on Win10, soit par programme lancé sur un serveur Linux distant (en ssh -X ou par putty avec option X)
Patrick TRAU1997-2020