Ce qu’il faut installer pour pouvoir bosser à la maison

Il est indispensable d’avoir accès à Linux et il est vivement recommandé d’utiliser Ubuntu. La raison pour laquelle il est vivement recommandé d’installer Ubuntu et que l’installation de ROS et de paquets ROS est extrêmement simple sous Ubuntu et bien plus fastidieuse avec d’autres distributions.

Comment faire pour récupérer, depuis la maison, des fichiers sur mon compte de l’école ??

Votre compte est accessible via ssh depuis l’extérieur, en se loggant sur gamin.metz.supelec.fr. C’est l’occasion rêvée d’utiliser un dépôt git.

Connectez-vous sur une machine de l’école. Par exemple, une des machines ubuntu sur lesquelles vous faites vos tp. Disons que cette machine, c’est toto.smart.metz.supelec.fr. Si vous êtes à supélec, il suffit d’aller devant la machine. Si vous êtes chez vous, il faut passer par gamin.

puis, une fois connecté sur gamin

Sur la machine toto.smart, donc, créez un dépot git (un bare). Il y a un tuto là-dessus...

Clonez votre bare (on ne peut pas travailler dedans) juste à côté.

Vous avez deux dossier, MyWork.git et MyWork. A supélec, travailler au sein de MyWork, ajoutez-y vos fichiers, committez, pushez, pullez... etc. Ne touchez plus à MyWork.git.

A la maison, sur votre ordi perso, clonez également MyWork.git.

E t voilà, vous avez un dossier MyWork à la maison. Il est synchronisé sur celui de votre comte à l’école (commit, push, pull, etc....)

Est ce qu’il est raisonnable de .... ?

 Utilisez MacOS ? Peut être, mais on ne vous sera bien d’un grand support même si ça reste un unix (comme linux). La procédure d’installation de ROS apparaît comme expérimentale sur le site de ROS melodic
 Rester sous Windows ? : Non ; Ce qui m’amène à la prochaine partie.

Installer Ubuntu

Pour pouvoir disposer d’un poste sous Linux, vous avez plusieurs possibilités :

* formater sa machine et installer Linux à l’aide d’un LiveCD , ou d’un LiveUSB
* vous voulez garder un autre OS, faites de la place sur vos partitions et installez Ubuntu à l’aide d’un LiveCD (ou d’un LiveUSB)
* installez une machine virtuelle, i.e. votre Ubuntu tourne dans un programme exécuté depuis votre OS favori ; Vous pouvez par exemple opter pour VirtualBox

Quelle version d’Ubuntu choisir ? Je vous conseille de préférer les versions LTS : Long Term Support . A l’heure d’écrire ce tutoriel, la 15.10 est sortie (on est en décembre 2015, la 15.10 est sortie en octobre (10) 20(15) ) et j’ai la 14.04 LTS d’installée et vie très bien avec.

Pour installer des paquets sous Linux, on utilise le gestionnaire de paquet inclus dans la distribution, en l’occurence apt sous Ubuntu.

Je suis perdu sous Linux, comment je fais pour .... ?

 regardez la doc
 utilisez google
 fouillez sur les forums comme stackoverflow
 demandez autour de vous
 .. .. ..

Installation de Gnome à la place de Unity

Le gestionnaire de bureau Unity n’est pas très confortable. On lui préfère le bureau gnome. Pour l’installer, rien de plus simple :

 lancez un terminal (sous Unity, cliquez sur le menu d’application en haut à gauche, puis tapez "terminal" et validez)
 tapez dans le terminal : sudo apt-get install gnome-shell

Quand on vous parle de lightdm, sélectionnez lightdm et validez.

Fermez votre session. Sur l’écran d’acceuil, une icône apparaît à côté de votre Login pour basculer en Gnome et Unity.

Pour customiser Gnome, lancez firefox et rendez vous à l’adresse [gnome extensions : https://extensions.gnome.org/]

Installation des outils de développement

Pour installer les outils de développement :
 dans un terminal : sudo apt-get install build-essential

Pour installer scikit-learn :
 dans un terminal : sudo apt-get install python-sklearn

Pour installer emacs :
 dans un terminal : sudo apt-get install emacs

Pour installer sublimeText :
 Doc ubuntu

Pour installer spyder :
 dans un terminal : sudo apt install spyder

Pour installer geany :
 Doc ubuntu

Installation de ROS

Pour installer ROS, il suffit de suivre la procédure d’installation sur le site de ROS . Préférez la version précédent la dernière release pour être sûr de disposer de tout les paquets sur les dépots Ubuntu.

Ecrire de joli rapport comme un pro ?

Latex est incontournable. Rendez vous sur la page de Doc pour l’installation sous Ubuntu.