Installer l'environnement de TP d'ADA

De Wiketud
Aller à : navigation, rechercher

Sur ce Wiki, vous trouverez toutes les informations utiles pour installer ce dont vous aurez besoin pour travailler chez vous les TP d'ADA calmement plutôt qu'au CRI ou au GEI.

  • Pour tout ce qui concerne la machine virtuelle, contacter : vergnet@etud.insa-toulouse.fr ou club.info@amicale-insat.fr
  • Pour toute question concernant les cours/TD/TP, contacter Mr.Lebotlan : contact.lebotlan@insa-toulouse.fr


Installation par le biais d'une machine virtuelle

Vidéo

Voici une vidéo expliquant la procédure d'installation de la machine virtuelle

Prérequis

Pour installer la machine virtuelle des TP d'ADA sur votre PC, procédez comme suit :

  • Téléchargez le logiciel VirtualBox, sélectionnez la bonne version (Windows Hosts si vous avez Windows, OS X hosts si vous avez Mac) et suivez les instructions (les paramètres de base sont bons).
  • Téléchargez ensuite sur votre PC l'image disque de l'environnement.
    • Pour les 1A : Lubuntu Mot de passe: finsa2017
    • Pour les 2A IMACS : IMACS Mot de passe: arm-ada


Merci de regarder la partie consacrée aux problèmes de fonctionnement, avant de contacter une des personnes citées sur cette page.

Installation de l'environnement

Importation de la machine virtuelle

  • Cliquez sur l'image disque de l'environnement que vous venez de télécharger.
  • La fenêtre suivante devrait s'ouvrir. Si ce n'est pas le cas, assurez vous d'avoir bien installé VirtualBox.
  • Cliquez sur "Importer"
Importer Fichier Machine Partie 2.png
  • Attendez la fin de l'importation...
Processus-Importation.png
  • Votre machine virtuelle est maintenant installée.

Vérifications

  • Vous pouvez la voir apparaitre sur la gauche, avec le nom que vous lui avez donné et le statut "éteinte".
  • Cliquez sur la machine virtuelle et cherchez dans les écritures à droite la ligne "réseau", il doit y avoir marqué "Intel PRO/1000 MT Desktop".
Carte reseau machine virtuelle.png
  • Si ce n'est pas le cas faites un clic droit sur la machine virtuelle, allez dans "configuration" > "réseau". La case "activer la carte réseau" doit être cochée et dans avancé (cliquer sur la flèche), il faut sélectionner le type de carte "Intel PRO/1000 MT Desktop" dans le menu déroulant. Cliquez ensuite sur ok pour valider les changements, il doit y avoir désormais marqué "Intel PRO/1000 MT Desktop" à la ligne réseau.
Remarque : vous pouvez modifier les ressources que vous attribuez à la machine virtuelle grâce à cette option "configuration", 
c'est à dire y laisser plus de mémoire vive, plus de mémoire graphique... 

Attention : lorsque la machine virtuelle va être démarrée, les ressources que vous lui avez alloué vous être utilisées ce qui peut faire "ramer" votre machine hôte (sous Windows).

Lancement/Fermeture de la machine

  • Double cliquez sur la machine virtuelle, elle démarre !
  • Attendez la fin du démarrage de votre machine virtuelle, vous retrouvez alors un Ubuntu comme en TP.
    • Si vous avez installé la machine Lubuntu, suivez simplement les informations à l'écran pour démarrer.
    • Si vous avez installé la machine Ubuntu, vous devez choisir votre classe et année, comme vous l'avez fait sur les ordinateurs de l'insa, la première fois.
    • Si vous avez installé la machine virtuelle 2A, le login et mot de passe sont : arm-ada
 Récapitulatif pour la machine Ubuntu
 Nom d'utilisateur : "tp-ada-insa"
 Mot de passe : "finsa2017"


Si votre machine ne démarre pas, ne paniquez pas, allez voir cette section!

  • Pour fermer votre machine virtuelle, deux solutions :
    • Soit vous faites comme en TP : le bouton démarrer, puis éteindre et la machine s’arrête (la fenêtre se ferme automatiquement).
    • Soit vous cliquez sur le bouton pour fermer la fenêtre (toutefois déconseillé) et vous cliquez sur "envoyer le signal d'extinction" (même action que si vous appuyez sur le bouton d'extinction de votre ordinateur) ou sur "éteindre la machine" (l'équivalent de si vous coupiez le courant chez vous... pas optimale comme solution).

Voici un exemple sous Ubuntu :

Éteindre la machine virtuelle

Outils pratiques

La suite des étapes constitue quelques remarques pratiques, elle n'intervient donc pas pour installer la machine virtuelle.

Avoir accès aux fichiers des sessions INSA

Vous ne le savez peut être pas mais vous pouvez avoir accès depuis chez vous aux fichiers stoqués sur votre session de l'INSA. Pour ce faire, vous aurez besoin de vous connecter au réseau de l'INSA, soit en VPN, soit directement sur InvitéINSA.

Si vous n'arrivez pas à vous connecter en effectuant ce qui suit, vous pouvez tout de même transférer vos fichiers de la machine vers votre session (et inversement) avec une clé USB. Pour accéder à celle-ci depuis la machine virtuelle, allez voir la section correspondante.


NE MODIFIEZ PAS LES FICHIERS SUR LE SERVEUR, COPIEZ LES SUR LE BUREAU DE VOTRE MACHINE VIRTUELLE !. Si votre programme ne compile pas, assurez vous que vous n'êtes pas en train d'essayer de compiler le fichier directement sur le serveur!

Voici la procédure pour accéder à vos fichiers. Vous serez ainsi connecté à vos fichiers de l'INSA JUSQU'A LA FERMETURE DE LA MACHINE VIRTUELLE. Quand vous ré-allumerez votre machine, la connexion n'y sera plus et vous devrez vous reconnecter.

Avec Lubuntu

Assurez-vous d’être soit connecté sur la wifi InvitéINSA (disponible sur le campus), soit sur une autre wifi avec le VPN actif.

Première connexion

  • Allez sur votre machine virtuelle.
  • Ouvrez le gestionnaire de fichiers
  • Dans la barre de menus en haut, choisissez "Aller à/ se connecter au serveur..."
  • Changez le type en SSH
  • Dans le champ "Hôte", mettez "srv-ens.insa-toulouse.fr"
  • Le champ "Chemin" : "/home/LOGIN_INSA"
  • Dans le champ "Se connecter en tant que", entrez votre login INSA
  • Cliquez sur "se connecter"
Connexion au serveur
  • Une fenêtre apparaît, mettez votre mot de passe INSA (comme si vous vous connectiez au CRI ou en TP)
  • Laissez "oublier immédiatement le mot de passe", et faites OK
  • Une fois connecté sur votre session, dans la barre de menus en haut, choisissez "Marque-pages/ Ajouter aux marque-pages" pour créer un raccourci dans la liste à gauche
Ajout aux marque-pages

Connexions suivantes

Si vous avez suivi la procédure précédente, vous connecter à votre session est facile. Ouvrez le gestionnaire de fichiers, et dans la liste à gauche, cliquez sur le marque-page que vous avez ajouté précédemment (en vous assurant d’être connecté au réseau INSA).

Accéder à sa clé USB

Il est possible d'avoir accès à sa clé USB depuis la machine virtuelle. Pour cela, cliquez dans la barre de menu sur "Périphériques" ou "Devices" si vous avez VirtualBox en anglais. Dans ce menu, sélectionnez "USB", puis votre clé USB. Il y a sûrement plusieurs appareils listés même si vous n'avez branché qu'une seule clé. Celle ci devrait avoir "Mass storage" dans son nom, vous pourrez ainsi la trouver facilement.

Une fois que vous avez cliqué sur votre clé, celle-ci devrait s'ouvrir dans la machine virtuelle (attendez quelques secondes, cela peut prendre plus ou moins de temps suivant votre ordinateur). Si rien n’apparaît, refaites la procédure mais en sélectionnant un autre appareil dans la liste.

Créer un fichier avec Emacs

Voici comment créer un fichier avec Emacs (ça sert toujours!)

  • Ouvrir Emacs
  • Créer un nouveau fichier
    • 1) Cliquer sur l'icone de fichier avec un "+"
    • 2) Choisissez le dossier de destination en double-cliquant dessus (par défaut c'est le "HOME")
    • 3) Entrez le nom du fichier que vous voulez créer dans "Emplacement". Si vous voulez créer un nouveau programme Ada, n'oubliez pas d'ajouter .adb à la fin du nom du fichier!
    • 4) Faites "Ouvrir"
Créer un fichier avec Emacs
  • Une fois ouvert, modifiez le comme vous voulez puis enregistrez
Enregistrer le fichier créé sous Emacs

Avoir une machine virtuelle en plein écran

Vous vous rendrez compte sous peu que votre machine virtuelle est vite petite.

  • Pour remédier à cela, il existe une manipulation toute simple à faire (si ça ne fonctionne pas envoyez moi un mail) :
  • Allez dans Système > Préférences > Ecrans
  • Dans résolution, choisir le plus grand (enfin ou une résolution adaptée à votre écran)
  • Cliquez sur "appliquer"
Plein Ecran
  • Il vous affiche un apperçu, si c'est satisfaisant, cliquez sur "conserver cette configuration"
  • Cliquez ensuite sur fermer
  • Remarque : on peut mettre la machine virtuelle "vraiment" en plein écran. Pour se faire, cliquez sur "control droite + F" ou allez dans Machine (tout en haut en dehors de linux) > Passer en plein écran.

Lecteur de disque virtuel

Vous pourrez avoir besoin de créer un lecteur de disque virtuel sur votre machine virtuelle (pour monter une image disque dessus par exemple avec daemon tools).

  • Pour réaliser ceci, allez dans la configuration de la machine virtuelle (machine virtuelle éteinte) puis l'onglet stockage.
  • A la ligne "contrôleur IDE" cliquez sur le cd avec un + vert
  • Vous aurez une icone de CD avec marqué "vide" à coté.
  • C'est que vous avez désormais un CD virtuel de créé associé à la machine.
  • Cliquez sur Ok pour fermer la fenêtre et redémarrez votre machine virtuelle.

Installation directement sur votre Ubuntu

Cette méthode est basée sur la création d'un paquet tel que ceux qu'on peut installer en tapant des commandes "sudo apt-get install" dans le terminal sous Linux.

Remarque : Tout ce qui suit en gras sont des commandes terminal. Pour accéder au terminal faites : Applications -> Accessoires -> Terminal

Ubuntu LTS 14.04 et 16.04 : 32 bits et 64 bits

Remarque : VOTRE_SYSTEME = Trouvez le nom de votre système ici
  • Mettez à jour la liste des paquets disponibles en installation :
    • sudo apt-get update
  • Installez le paquet correspondant à l'environnement de TP :
    • sudo apt-get install adainsatp

Normalement c'est installé :)

Une petite remarque qui me parait intéressante : Comment supprimer le package?

  • Tapez dans le terminal : sudo apt-get remove adainsatp

Créez votre machine virtuelle

Il est possible que certains souhaitent créer leur propre machine virtuelle contenant l'environnement de TP d'Ada. Cette procédure apporte pas mal de choses aux néophytes : découverte de la procédure d'installation d'Ubuntu, découverte des programmes sous Ubuntu et création d'un environnement pouvant servir aux TP d'Unix de deuxième année (MIC et IMACS) pour pouvoir tenter des commandes improbables sans risque ;)

Télécharger les outils nécessaires

Que ce soit pour créer ou pour importer des machines virtuelles, nous avons besoin d'un logiciel permettant d'émuler un ordinateur. Ceci peut être fait par différents logiciels concurrents comme VirtualBox ou encore VMWare, nous allons ici vous montrer la procédure pour VirtualBox. Vous allez devoir télécharger les deux choses suivantes:

  • Le logiciel VirtualBox.
  • L'image disque du système que vous voulez installer (préférez la dernière version LTS en 64bits) :
    • Ubuntu : Plus lourd, peut avoir du mal à fonctionner avec VirtualBox sur certain ordinateurs.
    • Lubuntu : Plus léger, devrait pouvoir tourner sur la majorité des ordinateurs.

Créer la machine virtuelle

C'est ici que les choses commencent à devenir intéressantes (même si ce n'est rien de bien compliqué...) :

  • Tout d'abord démarrez VirtualBox et cliquez sur "Nouvelle", donnez lui un nom et choisissez Linux comme Type et Ubuntu comme Version (32 ou 64 suivant la version téléchargée). Choisissez Ubuntu même si vous avez téléchargé l'image pour Lubuntu (la seule chose qui change entre les deux est l'interface utilisateur).
  • Ensuite laissez les paramètres par défaut pour la quantité de mémoire vive (1024Mo) et créez un disque dur virtuel au format VDI
  • Laissez ici aussi les paramètres par défaut : mémoire dynamiquement allouée et taille de 10go, puis cliquez sur Créer.

Une fois cette étape passée, la machine virtuelle est créée.

Installez la machine virtuelle

Votre machine virtuelle a été créée, vide, mais maintenant il faut installer un système d'exploitation dessus. Vous pouvez donc y installer Ubuntu, Lubuntu, Windows, Mac Osx, etc du moment que vous avez un ISO du système d'exploitation que vous voulez installer.

Pour ce faire, suivez les étapes suivantes :

  • Double-cliquez sur la nouvelle machine virtuelle pour l'ouvrir et lors du choix du disque de démarrage, sélectionnez l'image (fichier .iso) du système précédemment téléchargé.
  • Cliquez sur Démarrer : la machine virtuelle démarre sur le cd d'installation.
  • Suivez la procédure d'installation, il n'y a pas de piège, la seule chose obligatoire est de renseigner un mot de passe pour l'utilisateur principal...
  • Une fois Ubuntu installé, si ce n'est pas automatique redémarrez la machine virtuelle.

Installez l'environnement de TP d'Ada sur votre nouvelle machine

Maintenant que tout est installé, nous pouvons commencer à bidouiller un peu. Dans toute la section qui suit il est admis que la machine virtuelle est connectée à internet. Si ce n'est pas le cas, je vous invite à aller lire la section adequate.

Pour commencer je vous conseille de mettre à jour votre machine virtuelle. Pour ce faire, allez dans "Système -> Administration -> Gestionnaire de mises à jour" et cliquez sur Installer les mises à jour. Il est possible que cela prenne pas mal de temps, en fonction de votre connexion internet.

Ensuite nous allons installer l'environnement de TP d'Ada, il vous faut donc vous reporter à cette section pour l'installer.

Et voila, tout est installé!

Maintenance

Je vous rappelle que vous pouvez nous contacter par Email ici : club.info@amicale-insat.fr

Sinon, allez au club informatique un jeudi après midi (GEI salle 111) ! Il y a plein de personnes qui seraient d'accord pour vous aider.

Help! Ma machine virtuelle ne démarre pas!

  • Si vous avez installé la machine 2A, et elle ne démarre pas:
    • Allez sur le lien suivant VirtualBox extension pack.
    • Une fois le téléchargement fini, cliquez sur le fichier. Une fenêtre de VirtualBox apparaitra.
    • Faites l'installation en acceptant le contrat. Comme une installation normale.
    • A la fin, VirtualBox devra vous dire "Installation was a succes". Ressayez de lancer la machine virtuelle arm-ada. Le problème devrait être résolue.
  • Si vous avez l'erreur suivante, deux choix s'offrent à vous:
    • Soit passez directement au club informatique pour "activer le paramètre VT-X". Cela ne peut être fait que par les étudiants au club, ou par vous si vous savez accéder au BIOS. (Aucune aide possible par mail)
    • Soit faites la procédure d'installation à nouveau, mais cette fois en installant l'environnement suivant.
Erreur.png
  • Si vous avez une autre erreur, redémarrez votre ordinateur. Si cela ne corrige pas le problème, passez au club informatique pour que l'on essaie de corriger votre problème.

Help! Mon écran est devenu tout petit suite à une mise à jour !

VirtualBox se met régulièrement à jour et il est possible que lors d'une mise à jour l'écran de la machine virtuelle devienne tout petit, ce qui est gênant. Pas de panique, une manipulation simple permet de tout remettre comme il faut.

  • Ouvrez VirtualBox et démarrez la machine virtuelle
  • Cliquez sur host+d (sur windows touche control de droite + d)
  • On vous propose d'ouvrir "Invité d'exécution automatique", faites valider (si on ne vous propose rien, double-cliquez sur l'icone de cd-rom sur le bureau)
  • Cliquez ensuite sur "Lancer", ceci va installer des trucs de VirtualBox pour, par exemple, redimensionner l'écran de la machine virtuelle à votre écran [toujours le même mot de passe]
  • A la fin de l'installation automatique, cliquez sur "Entrée". Redémarrez la machine virtuelle.

Help! Internet ne fonctionne pas sur ma machine virtuelle !

La machine virtuelle a été configurée pour que internet fonctionne si l'on a le VPN de l'INSA de connecté. Si vous n'avez pas le VPN, voici la manipulation à faire :

  • Allumez la machine virtuelle
  • Allez dans Système > Préférences > Serveur Mandataire
  • Placez votre souris sur "connexion directe à internet" puis cliquez dessus pour l'activer

Remarque : Ce qui est en dessous (dans la fenêtre) doit être grisé

  • Cliquez sur "appliquer à l'ensemble du système"
  • Un message apparait, rentrez ce mot de passe : "finsa2017" (sauf si vous avez changé le mot de passe utilisateur)
  • Un autre message apparait (c'est normal ^^), rentrez à nouveau le même mot de passe "finsa2017"
  • La nouvelle configuration a été appliquée, redémarrez la machine virtuelle (pas obligatoire mais si vous n'avez pas internet après la manip, ça devrait vous le mettre :))

Help! Je n'ai pas le fichier upload_exe pour mes Tp du 1er semestre !

Pas de panique, tu peux le télécharger ici.

Une fois téléchargé, fais clique-droit sur le fichier, puis Propriétés. Ensuite va dans l'onglet Droit d'accès, et change le champ Exécuter de Personne à Tout le monde.

Dernières modifications

La machine virtuelle VirtualBox a été modifiée pour prendre en compte l'installation du package Debian (cf dernière partie). Ceci a pour conséquence de mettre à jour automatiquement l'environnement de TP d'ADA en même temps que les mises à jour des composants d'Ubuntu. Je vous conseille d'accepter ces mises à jour automatiques quand elles vous sont proposées, vous pouvez aussi le faire manuellement en allant dans "Système -> Administration -> Gestionnaire de mises à jour". Il suffit ensuite de cliquer sur Installer les mises à jour.

  • Mise a jour du 15/03 : mise à jour du wiketud, upload d'une nouvelle machine virtuelle
  • Mise a jour du 14/01 : ajout d'une partie sur le wiketud, upload d'une nouvelle machine virtuelle
  • Mise a jour du 20/01/18 : upload d'une nouvelle machine virtuelle et modification de l'organisation de la page


Annexe : à propos des TP d'Unix de 2ème année

Lors des TP d'Unix on vous apprend tout plein de commandes sympas que vous pouvez tester dans un terminal sous linux, mais vous n'avez peut-être pas de machine sous linux que vous pourriez utiliser. Du coup vous pouvez utiliser cette machine virtuelle, ou vous en créer une spécifiquement, si vous cassez quelque chose vous aurez juste à réinstaller Ubuntu sur une nouvelle machine virtuelle : facile et sans risque!

Il y a plein de bêtises que vous pouvez tester, par exemple faire un rm -rf /* ou encore un kill -9 0 (le processus père), mais vous découvrirez ça par vous-même!

Amusez-vous bien!