Changes between Version 33 and Version 34 of Howto-TP
- Timestamp:
- Dec 10, 2020, 3:54:15 PM (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Howto-TP
v33 v34 57 57 58 58 * Démarrez la machine virtuelle. 59 * Dans le cas où vous êtes sur votre propre VM (et non celle que nous vous proposons), vous devez commencez par vérifier que vous avez l'application **`xterm`** sur votre distribution Linux. **`xterm`** est le terminal de commande que va utiliser le simulateur pour les TTY et il n'est pas toujours installé par défaut. 60 * Si vous ne l'avez pas vous devez l'installer avec **`sudo apt-get install xterm`**\\(si vous êtes sur une distribution debian ou ses dérivés : ubuntu, linux-mint, etc...) 59 61 * Démarrez un navigateur web sur votre Linux et chargez la page de l'UE : **`https://frama.link/AS5` ***\\''** * ** Conseil : vous pouvez utiliser le presse papier partagé si vous l'avez configuré à l'étape 1.'' 60 62 * Récupérez l'archive contenant le **[htdocs:files/AS5.tgz prototype virtuel et la chaîne de compilation MIPS]**