Changes between Version 50 and Version 51 of Howto-TP


Ignore:
Timestamp:
Nov 11, 2021, 11:56:20 AM (4 years ago)
Author:
franck
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Howto-TP

    v50 v51  
    8383* 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`**
    8484* Si vous avez bien placé l'archive à la racine de votre compte, déplacez-vous dans le répertoire **`kO6`** : **`cd $HOME/kO6`**
    85 * É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`**.
    86 * 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).
     85* É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`**.
     86* 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).
    8787* 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.
    8888
    … …  
    9191
    9292
    93 * Éditez votre fichier **`$HOME/.bashrc`** et ajoutez au début:\\**`source /Infos/lmd/2021/licence/ue/LU3IN029-2021oct/kO6/bin/Source-me.sh`**\\
     93* Éditez votre fichier **`$HOME/.bash_profile`** et ajoutez au début:\\**`source /Infos/lmd/2021/licence/ue/LU3IN029-2021oct/kO6/bin/Source-me.sh`**\\
    9494 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`**.
    95 * Exécutez pour cette fois le **`.bashrc`** (parce que vous venez juste de le modifier)\\ **`source $HOME/.bashrc`**\\
    96  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).
     95* Exécutez pour cette fois le **`.bash_profile`** (parce que vous venez juste de le modifier)\\ **`source $HOME/.bash_profile`**\\
     96 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).
    9797
    9898