Changes between Version 20 and Version 21 of ConfigTP


Ignore:
Timestamp:
Sep 6, 2017, 2:15:04 PM (8 years ago)
Author:
franck
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ConfigTP

    v20 v21  
    3030= Variables d'environnement UNIX =
    3131
    32 Pour réaliser les TP de l'UE ALMO, vous utiliserez différents outils logiciels qui vous sont fournis. Ce sont des fichiers binaires exécutables qui sont rangés dans le répertoire `/Infos/lmd/2016/licence/ue/3I004-2016oct/bin`. Pour accéder à ces outils, vous devez ajouter dans la variable d'environnement UNIX nommée `$PATH` le chemin permettant d'accéder à ces outils.
     32Pour réaliser les TP de l'UE ALMO, vous utiliserez différents outils logiciels qui vous sont fournis. Ce sont des fichiers binaires exécutables qui sont rangés dans le répertoire `/Infos/lmd/2017/licence/ue/3I004-2017oct/bin`. Pour accéder à ces outils, vous devez ajouter dans la variable d'environnement UNIX nommée `$PATH` le chemin permettant d'accéder à ces outils.
    3333
    34 Par ailleurs, on utilise dans l'U.E. ALMO un petit noyau de système d'exploitation appelé '''GIET''' (''Gestionnaire d'Interruptions, Exceptions et Trappes''). Les fichiers sources définissant le code du '''GIET''' sont rangés dans le répertoire `/Infos/lmd/2016/licence/ue/3I004-2016oct/sesi-almo/soft/giet`. La variable d'environnement UNIX nommée `$GIET` doit contenir ce chemin.
     34Par ailleurs, on utilise dans l'U.E. ALMO un petit noyau de système d'exploitation appelé '''GIET''' (''Gestionnaire d'Interruptions, Exceptions et Trappes''). Les fichiers sources définissant le code du '''GIET''' sont rangés dans le répertoire `/Infos/lmd/2017/licence/ue/3I004-2017oct/sesi-almo/soft/giet`. La variable d'environnement UNIX nommée `$GIET` doit contenir ce chemin.
    3535
    3636Les variables d'environnement UNIX étant attachées à un terminal, ces deux variables doivent être définies pour chaque terminal que vous utilisez.
    … …  
    4141Pour exécuter le script de manière manuelle, tapez la commande suivante dans un terminal :
    4242{{{
    43 $ source /Infos/lmd/2016/licence/ue/3I004-2016oct/almo_env.sh
     43$ source /Infos/lmd/2017/licence/ue/3I004-2017oct/almo_env.sh
    4444}}}
    4545
    … …  
    5454Copiez la ligne ci-dessous à la fin du fichier (si le fichier n'est pas vide), puis sauvez et quittez l'éditeur de texte :
    5555{{{
    56 source /Infos/lmd/2016/licence/ue/3I004-2016oct/almo_env.sh
     56source /Infos/lmd/2017/licence/ue/3I004-2017oct/almo_env.sh
    5757}}}
    5858
    5959Si le fichier `.bashrc` n'existe pas à la racine de votre compte, vous pouvez recopier celui que l'on vous fournit :
    6060{{{
    61 $ cp /Infos/lmd/2016/licence/ue/3I004-2016oct/bashrc ~/.bashrc
     61$ cp /Infos/lmd/2017/licence/ue/3I004-2017oct/bashrc ~/.bashrc
    6262}}}
    6363