Changes between Version 56 and Version 57 of Howto-TP
- Timestamp:
- Nov 30, 2021, 2:07:09 PM (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Howto-TP
v56 v57 88 88 * Décompressez l'archive avec la commande : **`tar xvf kO6bin.tgz`** à la racine de votre compte. **`kO6`** est le nom que nous avons donné au petit ''système d'exploitation'' s'exécutant sur **`almo1`** 89 89 * Si vous avez bien placé l'archive à la racine de votre compte, déplacez-vous dans le répertoire **`kO6`** : **`cd $HOME/kO6`** 90 * Éditez le fichier **`$HOME/.bash _profile`** et ajoutez au début **`source $HOME/kO6/bin/Source-me.sh`**. Ce script modifie quelques variables d'environnement telle que **`PATH`** qui permet de définir les répertoires dans lesquels le shell **`bash`** trouve ses exécutables (ici la chaîne de compilation pour le MIPS et le simulateur **`almo1`**.91 * Exécutez pour cette fois le **`.bash _profile`** (parce que vous venez juste de le modifier) en tapant **`source $HOME/.bash_profile`**. Vous pouvez aussi ouvrir un nouveau terminal, celui-ci exécutera le script **`.bash_profile`** avant d'afficher le prompt (l'invite de commande en français).90 * Éditez le fichier **`$HOME/.bashrc`** et ajoutez au début **`source $HOME/kO6/bin/Source-me.sh`**. Ce script modifie quelques variables d'environnement telle que **`PATH`** qui permet de définir les répertoires dans lesquels le shell **`bash`** trouve ses exécutables (ici la chaîne de compilation pour le MIPS et le simulateur **`almo1`**. 91 * Exécutez pour cette fois le **`.bashrc`** (parce que vous venez juste de le modifier) en tapant **`source $HOME/.bashrc`**. Vous pouvez aussi ouvrir un nouveau terminal, celui-ci exécutera le script **`.bashrc`** avant d'afficher le prompt (l'invite de commande en français). 92 92 * Vous pouvez placer le répertoire **`kO6`** ailleurs qu'à la racine, voire le renommer, mais pour que cela fonctionne vous devez éditer la première ligne du fichier **`kO6/bin/Source-me.sh`**, toutefois dans les textes des TP, nous ferons l'hypothèse que le répertoire **`kO6`** est la racine du compte. 93 93 … … 96 96 97 97 98 * Éditez votre fichier **`$HOME/.bash _profile`** et ajoutez au début:\\**`source /Infos/lmd/2021/licence/ue/LU3IN029-2021oct/kO6/bin/Source-me.sh`**\\98 * Éditez votre fichier **`$HOME/.bashrc`** et ajoutez au début:\\**`source /Infos/lmd/2021/licence/ue/LU3IN029-2021oct/kO6/bin/Source-me.sh`**\\ 99 99 Ce script modifie quelques variables d'environnement telle que **`PATH`** qui permet de définir les répertoires dans lesquels le shell **`bash`** trouve ses exécutables (ici la chaîne de compilation pour le MIPS et le simulateur **`almo1`**. 100 * Exécutez pour cette fois le **`.bash _profile`** (parce que vous venez juste de le modifier)\\ **`source $HOME/.bash_profile`**\\101 Vous pouvez aussi ouvrir un nouveau terminal, celui-ci exécutera le script **`.bash _profile`** avant d'afficher le prompt (l'invite de commande en français).100 * Exécutez pour cette fois le **`.bashrc`** (parce que vous venez juste de le modifier)\\ **`source $HOME/.bashrc`**\\ 101 Vous pouvez aussi ouvrir un nouveau terminal, celui-ci exécutera le script **`.bashrc`** avant d'afficher le prompt (l'invite de commande en français). 102 102 103 103