Changes between Version 56 and Version 57 of Howto-TP


Ignore:
Timestamp:
Nov 30, 2021, 2:07:09 PM (4 years ago)
Author:
franck
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Howto-TP

    v56 v57  
    8888* 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`**
    8989* 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).
    9292* 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.
    9393
     
    9696
    9797
    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`**\\
    9999 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).
    102102
    103103