Changes between Version 11 and Version 12 of Howto-TP


Ignore:
Timestamp:
Dec 2, 2020, 7:43:05 PM (5 years ago)
Author:
franck
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Howto-TP

    v11 v12  
    2525  - [https://fr.wikihow.com/installer-VirtualBox wikihow : Comment installer VirtualBox]
    2626  - [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.7Go
     27* 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
    2828* Décompressez le fichier, il occupera alors 11Go
    2929* Pour install
    … …  
    3939* Décompressez l'archive avec la commande : **`tar xvzf AS5.tgz`**
    4040* 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`**
    4242* Exécutez pour cette fois le `.bashrc` (parce que vous venez juste de le modifier) **`source $HOME/.bashrc`**
    4343