ClefISN : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
 
(7 révisions intermédiaires par le même utilisateur non affichées)
Ligne 8 : Ligne 8 :
  
 
# modifiez l'ordre de démarrage des périphériques « bootables » : il faut pour cela accéder à l'utilitaire de configuration du BIOS ;
 
# modifiez l'ordre de démarrage des périphériques « bootables » : il faut pour cela accéder à l'utilitaire de configuration du BIOS ;
# surveillez le menu de démarrage de l'ordinateur puis appuyez sur une touche du type Del, F9, F2, Alt+F2 ... tout dépend du type de BIOS. Cette information est indiquée au démarrage par le message  « Press ….. to enter setup ». Pour plus d'informations vous pouvez consultez sur le site CommentÇaMarche [[http://www.commentcamarche.net/faq/18870-configurer-proprement-la-sequence-de-demarrage-dans-le-bios la marche à suivre]] pour la plupart des fabricants et des BIOS ;
+
# surveillez le menu de démarrage de l'ordinateur puis appuyez sur une touche du type Del, F9, F2, Alt+F2 ... tout dépend du type de BIOS. Cette information est indiquée au démarrage par le message  « Press ….. to enter setup ». Pour plus d'informations vous pouvez consultez sur le site CommentÇaMarche [http://www.commentcamarche.net/faq/18870-configurer-proprement-la-sequence-de-demarrage-dans-le-bios la marche à suivre] pour la plupart des fabricants et des BIOS ;
 
# une fois  dans cet utilitaire de configuration, il suffit de sélectionner la clé USB.
 
# une fois  dans cet utilitaire de configuration, il suffit de sélectionner la clé USB.
  
Ligne 31 : Ligne 31 :
 
Les documents que vous utiliserez de façon naturelle restent en mémoire vive, avec copies régulières sur la clé, et seront sauvegardés en fin de session. C'est tout à fait transparent pour l'utilisateur, mais évidemment inadéquat pour des documents de taille importante.
 
Les documents que vous utiliserez de façon naturelle restent en mémoire vive, avec copies régulières sur la clé, et seront sauvegardés en fin de session. C'est tout à fait transparent pour l'utilisateur, mais évidemment inadéquat pour des documents de taille importante.
  
Ainsi, si vous devez utiliser des documents de grande taille (par exemple un fichier vidéo), utilisez le dossier <span class="icode">Documents</span> du dossier
+
Ainsi, si vous devez utiliser des documents de grande taille (par exemple un fichier vidéo), utilisez le dossier <code>Documents</code> du dossier
utilisateur (le dossier <span class="icode">user</span>) : il correspond à un enregistrement effectif sur la clé physique.
+
utilisateur (le dossier <code>user</code>) : il correspond à un enregistrement effectif sur la clé physique.
  
 
= Fabrication de la clé USB =
 
= Fabrication de la clé USB =
 
La clé usb ISN est maintenue par François Boisson. Il existe plusieurs méthodes pour fabriquer la clé.
 
La clé usb ISN est maintenue par François Boisson. Il existe plusieurs méthodes pour fabriquer la clé.
  
La première étape consiste à télécharger la dernière version de la clé, dans un fichier ClefISN.iso, à [https://gforge.inria.fr/frs/?group_id=4102 cette adresse].
+
La première étape consiste à télécharger la dernière version de la clé, dans un fichier ClefISN.iso, à [https://gforge.inria.fr/frs/?group_id=4102 cette adresse] (en cas de souci, vous pouvez obtenir le même fichier depuis [ftp://ftp.ens.fr/clefagreg/isn/ cette adresse FTP] ou [https://www.dropbox.com/sh/ubccf33f4qsmlbo/lJC35Q_mGe ce dossier public DropBox]).
  
 
[[Fichier:ClefISN_Download.png]]
 
[[Fichier:ClefISN_Download.png]]
Ligne 44 : Ligne 44 :
  
 
[[Fichier:ClefISN_LinuxLive_choix_cle.png|right]]
 
[[Fichier:ClefISN_LinuxLive_choix_cle.png|right]]
# Téléchargez puis installez LinuxLive USB Creator (Lili) disponible à [[http://www.linuxliveusb.com/fr/download/ cette adresse]].
+
# Téléchargez puis installez LinuxLive USB Creator (Lili) disponible à [http://www.linuxliveusb.com/fr/download/ cette adresse].
 
# Insérez la clé USB puis lancez lili.
 
# Insérez la clé USB puis lancez lili.
 
# Sélectionnez la clé USB dans le cadre « Étape 1 : Choisir la clé ».
 
# Sélectionnez la clé USB dans le cadre « Étape 1 : Choisir la clé ».
Ligne 55 : Ligne 55 :
 
# Le système Linux démarre et le gestionnaire de fenêtres XFCE  se charge.
 
# Le système Linux démarre et le gestionnaire de fenêtres XFCE  se charge.
  
<b>Remarque :</b> lors de la création de la clé avec l'utilitaire Lili, vous avez la possibilité d'utiliser le logiciel VirtualBox. Il s'agit d'un programme capable d’exécuter plusieurs systèmes d'exploitation sur une même machine, ainsi si vous ne souhaitez pas redémarrer l'ordinateur et booter sur la clé vous pouvez lancer <span class="icode">Portable_VirtualBox.exe</span> qui se trouve dans le répertoire <span class="icode">VirtualBox>Portable_VirtualBox</span> de la clé. VirtualBox exécutera alors la ClefISN dans votre session Windows.
+
<b>Remarque :</b> lors de la création de la clé avec l'utilitaire Lili, vous avez la possibilité d'utiliser le logiciel VirtualBox. Il s'agit d'un programme capable d’exécuter plusieurs systèmes d'exploitation sur une même machine, ainsi si vous ne souhaitez pas redémarrer l'ordinateur et booter sur la clé vous pouvez lancer <code>Portable_VirtualBox.exe</code> qui se trouve dans le répertoire <code>VirtualBox>Portable_VirtualBox</code> de la clé. VirtualBox exécutera alors la ClefISN dans votre session Windows.
  
 
[[Fichier:ClefISN_Virtual_box.png]]
 
[[Fichier:ClefISN_Virtual_box.png]]
Ligne 72 : Ligne 72 :
 
Une première étape consiste tout d'abord à obtenir un liveusb avec l'image ISO téléchargée.
 
Une première étape consiste tout d'abord à obtenir un liveusb avec l'image ISO téléchargée.
  
# Installez sur votre ordinateur unetbootin (Linux uniquement).
+
# Installez sur votre ordinateur <code>unetbootin</code> (Linux uniquement).
# Insérez la première clé usb, lancez unetbootin, sélectionnez alors le fichier ClefISN.iso et installez ISN sur votre clé usb.
+
# Insérez la première clé usb, lancez <code>unetbootin</code>, sélectionnez alors le fichier ClefISN.iso et installez ISN sur votre clé usb.
# Une fois installé, il faut copier les deux fichiers isolinux/initrd.img  et  isolinux/linuxlive à la racine de la clé.
+
# Une fois installé, il faut copier les deux fichiers <code>isolinux/initrd.img</code> et  <code>isolinux/linuxlive</code> à la racine de la clé.
  
 
La deuxième étape consiste à booter sur la première clé usb pour créer une deuxième clé usb qui sera elle valide.
 
La deuxième étape consiste à booter sur la première clé usb pour créer une deuxième clé usb qui sera elle valide.
Ligne 82 : Ligne 82 :
  
  
== Méthode 4 : duplication à partir d'une clefISN ==
+
== Méthode 4 : duplication à partir d'une clefISN<span id="methode4"></span> ==
[#methode4]
+
 
 +
 
 
Si vous disposez déja d'une clefISN il est possible de créer d'autres clefISN à partir de cette dernière.
 
Si vous disposez déja d'une clefISN il est possible de créer d'autres clefISN à partir de cette dernière.
  
Ligne 102 : Ligne 103 :
 
[[Fichier:ClefISN_Install_ISN2.png]]
 
[[Fichier:ClefISN_Install_ISN2.png]]
  
Des fenêtres peuvent s'ouvrir listant tous les systèmes de fichiers contenus sur la clé. <b>Tous les fichiers sur la clé seront effacés</b>. Si vous désirez continuer, cliquez sur « Continue ».
+
Des fenêtres peuvent s'ouvrir listant tous les systèmes de fichiers contenus sur la clé.
 +
 
 +
<b>Tous les fichiers sur la clé seront effacés</b>. Si vous désirez continuer, cliquez sur « Continue ».
  
 
[[Fichier:ClefISN_Install_ISN3.png]]
 
[[Fichier:ClefISN_Install_ISN3.png]]
Ligne 121 : Ligne 124 :
  
 
[[Fichier:ClefISN_Install_ISN7.png]]
 
[[Fichier:ClefISN_Install_ISN7.png]]
 
  
 
= Ajouter des applications =
 
= Ajouter des applications =
Ligne 140 : Ligne 142 :
  
 
== Les extensions « sqh » ==
 
== Les extensions « sqh » ==
Les extensions sont des paquets spécifiquement destinés à la clé ISN, elles sont réalisées, maintenues par François Boisson et téléchargeables à [https://gforge.inria.fr/frs/?group_id=4102 cette adresse].
+
Les extensions sont des paquets spécifiquement destinés à la clé ISN, elles sont réalisées, maintenues par François Boisson et téléchargeables à [https://gforge.inria.fr/frs/?group_id=4102 cette adresse] (en cas de souci, vous pouvez obtenir les mêmes fichiers depuis [ftp://ftp.ens.fr/clefagreg/isn/ cette adresse FTP] ou [https://www.dropbox.com/sh/ubccf33f4qsmlbo/lJC35Q_mGe ce dossier public DropBox]).
  
Exemple : l'extension javascool pour la clefISN se nomme <span class="icode">extension_javascool.sqh</span>.
+
Exemple : l'extension javascool pour la clefISN se nomme <code>extension_javascool.sqh</code>.
  
Elles s'installent très simplement, pour cela il suffit de placer l'extension choisie dans le dossier <span class="icode">isn/</span> à la racine de la clé (vous verrez ce dossier en montant la clé USB sous Windows, par exemple).
+
Elles s'installent très simplement, pour cela il suffit de placer l'extension choisie dans le dossier <code>isn/</code> à la racine de la clé (vous verrez ce dossier en montant la clé USB sous Windows, par exemple).
  
<b>Remarque :</b> n'installez pas les extensions dont le nom commence par <span class="iode">extension_dpkg_…</span> (sauf bien sûr si vous savez ce à quoi ils servent : leur utilisation dépasse le cadre de cette documentation).  
+
<b>Remarque :</b> n'installez pas les extensions dont le nom commence par <code>extension_dpkg_...</code> (sauf bien sûr si vous savez ce à quoi ils servent : leur utilisation dépasse le cadre de cette documentation).  
  
 
== Créer une extension ==
 
== Créer une extension ==
Ligne 160 : Ligne 162 :
 
</pre>
 
</pre>
  
Le programme <span class="icode">sauve-extension</span> demande alors le nom de l'extension que l'on souhaite <span class="icode">vim-gtk</span>. Une extension au nom de <span class="icode">extension_vim-gtk.sqh</span> est alors créée  dans le répertoire <span class="icode">isn/</span> à la racine de la clé (vous verrez ce dossier en montant la clé USB sous Windows, par exemple).
+
Le programme <code>sauve-extension</code> demande alors le nom de l'extension que l'on souhaite <code>vim-gtk</code>. Une extension au nom de <code>extension_vim-gtk.sqh</code> est alors créée  dans le répertoire <code>isn/</code> à la racine de la clé (vous verrez ce dossier en montant la clé USB sous Windows, par exemple).
  
 
Rebootez sur votre clé usb et gvim est installé et fonctionnel.
 
Rebootez sur votre clé usb et gvim est installé et fonctionnel.
Ligne 166 : Ligne 168 :
  
 
== Désinstaller une extension ==
 
== Désinstaller une extension ==
Pour désinstaller une extension il suffit de la supprimer du répertoire <span class="icode">isn/</span>.
+
Pour désinstaller une extension il suffit de la supprimer du répertoire <code>isn/</code>.
  
 
== Installation en mode graphique ==
 
== Installation en mode graphique ==
Vous pouvez installer un utilitaire, appelé <span class="icode">synaptic</span> permettant d'installer les paquets en mode graphique.
+
Vous pouvez installer un utilitaire, appelé <code>synaptic</code> permettant d'installer les paquets en mode graphique.
  
 
Pour installer synaptic saisir dans une console :
 
Pour installer synaptic saisir dans une console :
Ligne 189 : Ligne 191 :
 
Dans la plupart des cas, la configuration matérielle de l'ordinateur hôte est reconnue et prise en charge. Dans le cas contraire l'établissement d'une connexion wifi sera plus qu'aléatoire.
 
Dans la plupart des cas, la configuration matérielle de l'ordinateur hôte est reconnue et prise en charge. Dans le cas contraire l'établissement d'une connexion wifi sera plus qu'aléatoire.
  
Pour configurer la connexion wifi, il suffit de lancer l'utilitaire wicd via Menu XFCE >  Internet > Wicd Network Manager ou en cliquant sur l'icône réseau en haut à droite de l'écran.
+
Pour configurer la connexion wifi, il suffit de lancer l'utilitaire wicd via <code>Menu XFCE >  Internet > Wicd Network Manager</code> ou en cliquant sur l'icône réseau en haut à droite de l'écran.
  
 
[[Fichier:ClefISN_Wicd_config_wifi.png]]
 
[[Fichier:ClefISN_Wicd_config_wifi.png]]
Ligne 199 : Ligne 201 :
  
 
=== Configuration ponctuelle ===
 
=== Configuration ponctuelle ===
Pour une connexion via le navigateur Iceweasel il est possible de configurer l'utilisation d'un proxy dans le menu <span class="icode"> Édition > Préférences > Avancé > onglet  Réseau > Paramètres >  Configuration manuelle du proxy</span>.
+
Pour une connexion via le navigateur Iceweasel il est possible de configurer l'utilisation d'un proxy dans le menu <code>Édition > Préférences > Avancé > onglet  Réseau > Paramètres >  Configuration manuelle du proxy</code>.
  
 
[[Fichier:ClefISN_Proxy_iceweasel.png]]
 
[[Fichier:ClefISN_Proxy_iceweasel.png]]
Ligne 206 : Ligne 208 :
 
Vous pouvez être amené à utiliser Internet pour d'autres applications qu'un navigateur internet, dans ce cas il peut être utile de configurer le proxy pour l'ensemble du système.
 
Vous pouvez être amené à utiliser Internet pour d'autres applications qu'un navigateur internet, dans ce cas il peut être utile de configurer le proxy pour l'ensemble du système.
  
Pour cela il faut renseigner les variables d'environnement <span class="icode"> http_proxy</span>, <span class="icode">https_proxy</span> et <span class="icode">ftp_proxy</span> en saisissant dans une console :
+
Pour cela il faut renseigner les variables d'environnement <code>http_proxy</code>, <code>https_proxy</code> et <code>ftp_proxy</code> en saisissant dans une console :
  
 
<pre>
 
<pre>
Ligne 216 : Ligne 218 :
 
Remplacez  172.17.0.1  par l'adresse de votre proxy et 3128 par le port du proxy, pour plus de précision consultez votre administrateur réseau.
 
Remplacez  172.17.0.1  par l'adresse de votre proxy et 3128 par le port du proxy, pour plus de précision consultez votre administrateur réseau.
  
Si vous voulez que cela soit permanent alors il faut écrire ces lignes dans le fichier <span class="icode">/home/user/.bashrc</span> :
+
Si vous voulez que cela soit permanent alors il faut écrire ces lignes dans le fichier <code>/home/user/.bashrc</code> :
  
# Ouvrez le gestionnaire de fichiers et cochez  <span class="icode">Vue > Montrer les fichiers cachés</span>
+
# Ouvrez le gestionnaire de fichiers et cochez  <code>Vue > Montrer les fichiers cachés</code>
# Éditez alors le fichier <span class="icode">.bashrc</span> pour écrire les lignes précédentes.
+
# Éditez alors le fichier <code>.bashrc</code> pour écrire les lignes précédentes.
# Éditez aussi le fichier <span class="icode">liste</span> pour ajouter à la fin: <span class="icode">.bashrc</span>
+
# Éditez aussi le fichier <code>liste</code> pour ajouter à la fin: <code>.bashrc</code>
# Vous pouvez décocher <span class="icode">Vue > Montrer les fichiers cachés</span>.
+
# Vous pouvez décocher <code>Vue > Montrer les fichiers cachés</code>.
  
  
Ligne 235 : Ligne 237 :
 
<b>3. Un copier-coller des fichiers d'une clefISN sur une autre clé USB suffit-il à créer une autre clefISN ?</b>
 
<b>3. Un copier-coller des fichiers d'une clefISN sur une autre clé USB suffit-il à créer une autre clefISN ?</b>
  
Non, pour dupliquer une clefISN se reporter à la section <a href="#methode4">2.4. Duplication</a>
+
Non, pour dupliquer une clefISN se reporter à la section [[ClefISN#methode4|Méthode 4 : duplication à partir d'une clefISN]].
  
 
<b>4. La machine a figé d'un seul coup, que se passe-t-il ?</b>
 
<b>4. La machine a figé d'un seul coup, que se passe-t-il ?</b>
Ligne 243 : Ligne 245 :
 
<b>5. Comment installer une extension <span class="icode">extension_xxxxx.sqh</span> ?</b>
 
<b>5. Comment installer une extension <span class="icode">extension_xxxxx.sqh</span> ?</b>
  
Placez le  fichier <span class="icode">extension_xxxxx.sqh</span> dans le répertoire <span class="icode">isn/</span> de la clé.
+
Placez le  fichier <code>extension_xxxxx.sqh</code> dans le répertoire <code>isn/</code> de la clé.
  
 
<b>6. Où puis-je trouver de l'aide ?</b>
 
<b>6. Où puis-je trouver de l'aide ?</b>
  
Posez toutes vos questions sur le [http://science-info-lycee.fr/le-forum/">forum du SIL:O !]
+
Posez toutes vos questions sur le [http://science-info-lycee.fr/le-forum/ forum du SIL:O !]
  
 
Elles trouveront certainement rapidement une réponse.
 
Elles trouveront certainement rapidement une réponse.

Version actuelle datée du 10 juillet 2012 à 05:08

Présentation de la ClefISN

Live USB

Une distribution Linux Live est un système d'exploitation Linux exécutable depuis un support amovible (clé USB, carte mémoire, CD, DVD etc.). L'utilisateur peut donc démarrer et travailler avec la distribution Linux choisie sans installer ni modifier quoi que ce soit à l'ordinateur hôte.

La clefISN est une distribution Linux live Debian, il est recommandé de prévoir une clé avec une capacité d'au moins 2 Go. Pour profiter de la clefISN il faudra faire démarrer l'ordinateur hôte sur la clé USB, pour cela :

  1. modifiez l'ordre de démarrage des périphériques « bootables » : il faut pour cela accéder à l'utilitaire de configuration du BIOS ;
  2. surveillez le menu de démarrage de l'ordinateur puis appuyez sur une touche du type Del, F9, F2, Alt+F2 ... tout dépend du type de BIOS. Cette information est indiquée au démarrage par le message « Press ….. to enter setup ». Pour plus d'informations vous pouvez consultez sur le site CommentÇaMarche la marche à suivre pour la plupart des fabricants et des BIOS ;
  3. une fois dans cet utilitaire de configuration, il suffit de sélectionner la clé USB.


Présentation de XFCE

Au démarrage, le système Linux Debian se charge puis on accède au gestionnaire de fenêtres XFCE.

ClefISN Interface xfce reduite.png


Cet environnement est composé de deux barres et d'un bureau léger. Dans la barre des tâches (celle du bas) on trouve :

  1. ClefISN Icone1.pngUne icône permettant d'accéder au menu des applications.
  2. ClefISN Icone2.pngUne console (ou terminal) permettant de saisir des commandes.
  3. ClefISN Icone3.pngUn explorateur de fichiers Thunar.
  4. ClefISN Icone4.pngUn navigateur internet Iceweasel.
  5. ClefISN Icone6.pngUne icône permettant d'éteindre la machine, ce qui permet de retirer la clé USB de façon sûre.
  6. ClefISN Icone7.pngUne horloge.
  7. ClefISN Icone5.pngUne application permettant de fabriquer une copie de la ClefISN.

Documents

Les documents que vous utiliserez de façon naturelle restent en mémoire vive, avec copies régulières sur la clé, et seront sauvegardés en fin de session. C'est tout à fait transparent pour l'utilisateur, mais évidemment inadéquat pour des documents de taille importante.

Ainsi, si vous devez utiliser des documents de grande taille (par exemple un fichier vidéo), utilisez le dossier Documents du dossier utilisateur (le dossier user) : il correspond à un enregistrement effectif sur la clé physique.

Fabrication de la clé USB

La clé usb ISN est maintenue par François Boisson. Il existe plusieurs méthodes pour fabriquer la clé.

La première étape consiste à télécharger la dernière version de la clé, dans un fichier ClefISN.iso, à cette adresse (en cas de souci, vous pouvez obtenir le même fichier depuis cette adresse FTP ou ce dossier public DropBox).

ClefISN Download.png

Méthode 1 : sous Windows avec LinuxLive USB Creator

ClefISN LinuxLive choix cle.png
  1. Téléchargez puis installez LinuxLive USB Creator (Lili) disponible à cette adresse.
  2. Insérez la clé USB puis lancez lili.
  3. Sélectionnez la clé USB dans le cadre « Étape 1 : Choisir la clé ».
  4. Sélectionnez l'image iso ClefISN.iso, dans le cadre « Étape 2 : Choisir la source ». Ne pas tenir compte du message « cet ISO n'est pas dans la liste de compatibilité ».
  5. Cliquez sur l'éclair « Étape 5 : Installer » pour lancer l'installation.
  6. Pour en savoir on pourra consulter le guide de l'utilisateur de Lili.
  7. Une fois l'installation terminée, redémarrez l'ordinateur (laissez la clé branchée).
  8. Il ne reste plus qu'à booter sur la clé, pour cela pensez à configurer le menu de choix de boot dans le BIOS.
  9. L'écran de démarrage rouge apparaît, sélectionnez la première option en appuyant sur entrée.
  10. Le système Linux démarre et le gestionnaire de fenêtres XFCE se charge.

Remarque : lors de la création de la clé avec l'utilitaire Lili, vous avez la possibilité d'utiliser le logiciel VirtualBox. Il s'agit d'un programme capable d’exécuter plusieurs systèmes d'exploitation sur une même machine, ainsi si vous ne souhaitez pas redémarrer l'ordinateur et booter sur la clé vous pouvez lancer Portable_VirtualBox.exe qui se trouve dans le répertoire VirtualBox>Portable_VirtualBox de la clé. VirtualBox exécutera alors la ClefISN dans votre session Windows.

ClefISN Virtual box.png



Méthode 2 : gravure d'un CD à partir d'une image ISO

Le fichier ClefISN.iso est une image disque ISO, il faut graver l'image et non pas le fichier. Pour cela utilisez un logiciel de gravure. Plusieurs logiciels commerciaux remplissent cette fonction, par exemptle Nero ou Alcohol 120%. Il est également possible d'utiliser des logiciels libres comme isorecorder, k3b (qui peut créer un média bootable), Brasero, graveman, dd ou mkisofs, ou bien encore l'application « Utilitaire de Disque » intégrée aux systèmes Mac OS X. Consultez l'aide de votre logiciel de gravure dans la rubrique « graver directement une image ISO ».

Une fois l'image ISO gravée, bootez sur ce cd et créez une clé usb en vous reportant à la section : Méthode 4 : duplication à partir d'une clefISN.


Méthode 3 : sous Linux, à l'aide de deux clés USB

Une première étape consiste tout d'abord à obtenir un liveusb avec l'image ISO téléchargée.

  1. Installez sur votre ordinateur unetbootin (Linux uniquement).
  2. Insérez la première clé usb, lancez unetbootin, sélectionnez alors le fichier ClefISN.iso et installez ISN sur votre clé usb.
  3. Une fois installé, il faut copier les deux fichiers isolinux/initrd.img et isolinux/linuxlive à la racine de la clé.

La deuxième étape consiste à booter sur la première clé usb pour créer une deuxième clé usb qui sera elle valide.

  1. Bootez sur la première clé usb.
  2. Insérez la deuxième clé usb.
  3. Dupliquez la ClefISN comme indiqué ci-dessous.


Méthode 4 : duplication à partir d'une clefISN

Si vous disposez déja d'une clefISN il est possible de créer d'autres clefISN à partir de cette dernière.

Bootez sur la clé ISN.

Le lancement de la procédure permettant de faire une clé bootable se fait en cliquant sur ClefISN Icone5.png à droite de l'horloge sur la barre des tâches.

Une fenêtre apparaît vous demandant de confirmer votre action et, dans le cas où c'est bien ce que vous souhaitez faire, d'insérer la clé USB où vous souhaitez installer ClefISN.

ClefISN Install ISN1.png

Après quelques secondes, une fenêtre peut apparaître présentant le contenu de la clé USB introduite. Le titre de la fenêtre (sdc1 pour moi) vous donne le nom de la clé (sdc ici).

Dans tous les cas, après quelques secondes, et si vous êtes sûr d'avoir mis la bonne clé, cliquez sur « Continuer».

Une fenêtre apparaît listant toutes les clés USB trouvées avec une estimation de leur capacité. Cliquez sur la clé sélectionnée (sdc dans notre exemple).

ClefISN Install ISN2.png

Des fenêtres peuvent s'ouvrir listant tous les systèmes de fichiers contenus sur la clé.

Tous les fichiers sur la clé seront effacés. Si vous désirez continuer, cliquez sur « Continue ».

ClefISN Install ISN3.png

Une fenêtre annonçant le formatage de bas niveau de la clé se présente, c'est la dernière occasion pour vous de tout arrêter, cliquez sur Oui pour continuer.

ClefISN Install ISN4.png

Ensuite une fenêtre vous propose de formater la clé en VFAT.

ClefISN Install ISN5.png

Là encore, cliquez sur «Continue», une fenêtre indiquant que la copie des fichiers s'effectue s'affiche. Là encore il suffit d'attendre.

ClefISN Install ISN6.png

À l'issue de cette procédure, une fenêtre vous indique que la clé est prête.

ClefISN Install ISN7.png

Ajouter des applications

Les paquets « deb »

Les distributions Linux utilisent un système de paquets (package en anglais). Il s'agit d'archives compressées contenant les fichiers nécessaires à l'installation de logiciels. La clefISN est basée sur une distribution Linux Debian, on peut donc installer n'importe quel programme issu de la logithèque Debian sous forme de paquet « .deb».

Pour installer un paquet « deb », il suffit d'ouvrir une console avec le bouton ClefISN Icone2.png, puis de saisir :

sudo apt-get update
sudo apt-get install nom_du_paquet.deb

Cette méthode installe le logiciel voulu uniquement pour la session courante, au démarrage suivant il faudra répéter cette opération si on veut pouvoir l'utiliser de nouveau.

N.B. : Pour une installation à long terme préférez les extensions « sqh ».

Les extensions « sqh »

Les extensions sont des paquets spécifiquement destinés à la clé ISN, elles sont réalisées, maintenues par François Boisson et téléchargeables à cette adresse (en cas de souci, vous pouvez obtenir les mêmes fichiers depuis cette adresse FTP ou ce dossier public DropBox).

Exemple : l'extension javascool pour la clefISN se nomme extension_javascool.sqh.

Elles s'installent très simplement, pour cela il suffit de placer l'extension choisie dans le dossier isn/ à la racine de la clé (vous verrez ce dossier en montant la clé USB sous Windows, par exemple).

Remarque : n'installez pas les extensions dont le nom commence par extension_dpkg_... (sauf bien sûr si vous savez ce à quoi ils servent : leur utilisation dépasse le cadre de cette documentation).

Créer une extension

Si parmi les extensions proposées vous ne trouvez pas un logiciel particulier, il vous reste la possibilité de créer votre propre extension à partir d'un paquet « deb ». Il est possible d'installer n'importe quelle application sur la clé et d'en faire une extension spécifique à la clé ISN.

Par exemple pour installer l'éditeur gvim qui se trouve dans le paquet vim-gtk. Saisir en ligne de commande dans une console :

sudo apt-get update
sudo apt-get install vim-gtk
sudo sauve-extension

Le programme sauve-extension demande alors le nom de l'extension que l'on souhaite vim-gtk. Une extension au nom de extension_vim-gtk.sqh est alors créée dans le répertoire isn/ à la racine de la clé (vous verrez ce dossier en montant la clé USB sous Windows, par exemple).

Rebootez sur votre clé usb et gvim est installé et fonctionnel.


Désinstaller une extension

Pour désinstaller une extension il suffit de la supprimer du répertoire isn/.

Installation en mode graphique

Vous pouvez installer un utilitaire, appelé synaptic permettant d'installer les paquets en mode graphique.

Pour installer synaptic saisir dans une console :

sudo apt-get update
sudo apt-get install synaptic
sudo sauve-extension

Pour le lancer il suffira de lancer synaptic depuis le menu des applications ou depuis une console.


Connexion internet

Connexion filaire

D'une manière générale, l'utilisation des paramètres automatiques (comme le DHCP) avec une connexion filaire (type Ethernet) permet d'être connecté sans aucune autre manipulation que celle de brancher le câble réseau.

Connexion sans fil

Dans la plupart des cas, la configuration matérielle de l'ordinateur hôte est reconnue et prise en charge. Dans le cas contraire l'établissement d'une connexion wifi sera plus qu'aléatoire.

Pour configurer la connexion wifi, il suffit de lancer l'utilitaire wicd via Menu XFCE > Internet > Wicd Network Manager ou en cliquant sur l'icône réseau en haut à droite de l'écran.

ClefISN Wicd config wifi.png

Il ne reste plus qu'à choisir son réseau et saisir le mot de passe wifi en cliquant sur Propriétés.

Proxy

Si vous évoluez dans un réseau muni d'un proxy, les connexions internet directes ne sont pas possibles. Il vous faut alors renseigner les paramètres de connexion au proxy (identifiant, mot de passe, adresse proxy et port.

Configuration ponctuelle

Pour une connexion via le navigateur Iceweasel il est possible de configurer l'utilisation d'un proxy dans le menu Édition > Préférences > Avancé > onglet Réseau > Paramètres > Configuration manuelle du proxy.

ClefISN Proxy iceweasel.png

Configuration globale

Vous pouvez être amené à utiliser Internet pour d'autres applications qu'un navigateur internet, dans ce cas il peut être utile de configurer le proxy pour l'ensemble du système.

Pour cela il faut renseigner les variables d'environnement http_proxy, https_proxy et ftp_proxy en saisissant dans une console :

export http_proxy=http://username:password@172.17.0.1:3128
export https_proxy=http://username:password@172.17.0.1:3128
export ftp_proxy=http://username:password@172.17.0.1:3128

Remplacez 172.17.0.1 par l'adresse de votre proxy et 3128 par le port du proxy, pour plus de précision consultez votre administrateur réseau.

Si vous voulez que cela soit permanent alors il faut écrire ces lignes dans le fichier /home/user/.bashrc :

  1. Ouvrez le gestionnaire de fichiers et cochez Vue > Montrer les fichiers cachés
  2. Éditez alors le fichier .bashrc pour écrire les lignes précédentes.
  3. Éditez aussi le fichier liste pour ajouter à la fin: .bashrc
  4. Vous pouvez décocher Vue > Montrer les fichiers cachés.


FAQ

1. Pourquoi travailler en mémoire vive et non pas directement sur la clé ?

Travailler directement sur la clé impose de longues séries d'écritures, ce qui est mal supporté par les clés USB. Et cela pour effet d'avoir des clés défectueuses au bout de quelque temps.

2. Puis-je utiliser la clé « normalement » comme moyen de stockage ?

Oui c'est possible du moment que vous n'effacez de fichiers spécifiques à la clefISN.

3. Un copier-coller des fichiers d'une clefISN sur une autre clé USB suffit-il à créer une autre clefISN ?

Non, pour dupliquer une clefISN se reporter à la section Méthode 4 : duplication à partir d'une clefISN.

4. La machine a figé d'un seul coup, que se passe-t-il ?

L'ensemble de la mémoire de la machine a été utilisée, cela signifie que soit un programme est trop gourmand (rare), soit un répertoire personnel contient trop de fichiers. Faites le ménage directement ou sur une autre machine et tout ira mieux.

5. Comment installer une extension extension_xxxxx.sqh ?

Placez le fichier extension_xxxxx.sqh dans le répertoire isn/ de la clé.

6. Où puis-je trouver de l'aide ?

Posez toutes vos questions sur le forum du SIL:O !

Elles trouveront certainement rapidement une réponse.