Changes between Version 6 and Version 7 of ConfigTP

Timestamp:

Aug 29, 2011, 2:01:30 PM (14 years ago)

Author:

alain

Comment:

--

ConfigTP

@@ -1 @@
-= Utilisation d'un terminal =
+= Utilisation d'un terminal texte =
 
-Pour réaliser les TP de l'UE ALMO, vous aurez besoin de savoir vous servir d'un terminal. Pour lancer un terminal, rendez-vous dans le menu des applications (barre des tâches).
-Une fois le terminal lancé, vous devriez apercevoir une chaîne de caractère qu'on appelle le `'prompt'` (et qui contient généralement votre nom d'utilisateur et le nom de l'ordinateur sur lequel vous êtes en train de travailler). C'est à la suite de ce `prompt` (et sur la même ligne), que vous pouvez tapez des commandes. L'exécution d'une commande est lancée quand on appuie sur la touche "entrée".
+Pour réaliser les TP de l'UE ALMO, vous devrez utiliser des terminaux texte, permettant de lancer des commandes. 
+Pour ouvrir un terminal, rendez-vous dans le menu des applications (barre des tâches).
+Une fois le terminal lancé, vous voyez apparaaître une chaîne de caractère qu'on appelle le `'prompt'` (qui contient généralement votre nom d'utilisateur et le nom de l'ordinateur sur lequel vous êtes en train de travailler). C'est à la suite de ce `prompt` (et sur la même ligne), que vous pouvez tapez des commandes. L'exécution d'une commande est lancée quand on appuie sur la touche "entrée".
 
 Dans les sujets de TP, le fait qu'on vous demande d'entrez une commande dans un terminal sera écrit comme suit :
@@ -13 +14 @@
 = Structuration des répertoires de travail =
 
-Afin de rester organisé, nous vous proposons la structure de répertoire suivante :
+Afin de rester organisé, nous vous demandons de respecter la structure suivante :
 
-* À la racine de votre compte, vous créerez un répertoire nommé `'li312'`, dans lequel seront rangés tous les fichiers relatifs aux TP de l'UE ALMO :
+* À la racine de votre compte, vous créerez un répertoire nommé `'li312'`, dans lequel seront rangés tous les fichiers relatifs aux TPs de l'UE ALMO :
 {{{
 $ mkdir li312
@@ -27 +28 @@
 }}}
 
-= Utilisation des outils externes =
+= Variables d'environnement UNIX =
 
-Pour réaliser les TP de l'UE ALMO, vous aurez besoin d'utiliser différents outils logiciels que l'on vous fournit. Pour y avoir accès, nous avons créé un script qu'il vous faudra charger à chaque lancement d'un nouveau terminal.
+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/2010/licence/ue/li312-2010oct/bin''. Pour accéder à ces outils, vous devez ajouter dans la variable d'environnement UNIX ''PATH'' le chemin permettant d'accéder à ces outils.
+
+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/2010/licence/ue/li312-2010oct/giet''. La variable d'environnement UNIX ''GIET'' doit contenir ce cheminom.
+
+Les variables d'environnement UNIX étant attachée à un terminal, ces deux variables doivent être définies pour chaque terminal que vous utilisez.
+Pour définir ces variables vous pouvez utilisez utiliser un script comme décrit ci-dessous:
 
 == Chargement manuel ==
 
-Pour charger ce script de manière manuelle, tapez la commande suivante dans un terminal :
+Pour exécuter le script de manière manuelle, tapez la commande suivante dans un terminal :
 {{{
 $ source /Infos/lmd/2010/licence/ue/li312-2010oct/almo_env.sh
@@ -40 +46 @@
 == Chargement automatique (recommandé) ==
 
-Afin de charger le script de manière automatique, ouvrez le fichier nommé `'.bashrc'` situé à la racine de votre compte avec un éditeur de texte (par exemple, `gedit`) :
+Afin d'exécuter le script de manière automatique à chaque fois que vous ouvrez un nouveau terminal, modifiez le fichier nommé `'.bashrc'` situé à la racine de votre compte avec un éditeur de texte préféré :
 {{{
 $ gedit ~/.bashrc
@@ -50 +56 @@
 }}}
 
-N'oubliez pas de fermer les terminaux ouverts et de les relancer pour que la modification soit prise en compte (le fichier `.bashrc` est effectivement lu seulement ''au démarrage'' d'un terminal).
-
 == Informations détaillées ==