Changes between Version 11 and Version 12 of Howto-TP
- Timestamp:
- Dec 2, 2020, 7:43:05 PM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Howto-TP
v11 v12 25 25 - [https://fr.wikihow.com/installer-VirtualBox wikihow : Comment installer VirtualBox] 26 26 - [https://www.papergeek.fr/comment-installer-une-machine-virtuelle-linux-dans-windows-10-81428 papergeek : Comment installer une machine virtuelle linux dans windows 10] 27 * Récupérez le disque de la [https://frama.link/fdbQuRaD machine virtuelle] . Ce fichier fait 3.7Go27 * Récupérez le disque de la [https://frama.link/fdbQuRaD machine virtuelle] ou [https://frama.link/YU_FuZ17 machine virtuelle]. Ce fichier fait 3.7Go 28 28 * Décompressez le fichier, il occupera alors 11Go 29 29 * Pour install … … 39 39 * Décompressez l'archive avec la commande : **`tar xvzf AS5.tgz`** 40 40 * Si vous avez bien placé l'archive à la racine de votre compte, déplacez-vous dans AS5 : **`cd $HOME/AS5`** 41 * Editez le fichier `$HOME/.bashrc` et ajoutez au début **`source $HOME/AS5/bin/Source .me`**41 * Editez le fichier `$HOME/.bashrc` et ajoutez au début **`source $HOME/AS5/bin/Source-me.sh`** 42 42 * Exécutez pour cette fois le `.bashrc` (parce que vous venez juste de le modifier) **`source $HOME/.bashrc`** 43 43