Différences

Ci-dessous, les différences entre deux révisions de la page.

--- ianseo:installation:linux_mint [2026/08/27 20:55] – pierre
+++ ianseo:installation:linux_mint [2026/08/27 21:16] (Version actuelle) – pierre
@@ Ligne 52: / Ligne 52: @@
 La clé devient bootable.
-Démarrer le PC sur la clé USB
+===== Démarrer le PC sur la clé USB =====
-Redémarrer le PC
-Appuyer sur la touche du Boot menu
+  - Liste numérotéeRedémarrer le PC
- (souvent F12 / F2 / ESC / DEL selon le PC)
+  - Appuyer sur la touche du Boot menu (souvent F12 / F2 / ESC / DEL selon le PC)
+  - Choisir USB
-Choisir USB
+Le menu de **Linux Mint** apparaît.
+===== Lancer l’installation =====
-Le menu de Linux Mint apparaît.
-Lancer l’installation
 Sur un ancien ordinateur où Windows ou Mac est déjà installé, une configuration dual-boot est proposée.
-Si vous avez fait toutes vos sauvegardes sur l’ordinateur à configurer sous Linux, il est préférable de laisser Linux utiliser tout le disque qui sera entièrement reformaté.
+  * Liste à puceSi vous avez fait toutes vos sauvegardes sur l’ordinateur à configurer sous Linux, il est préférable de laisser Linux utiliser tout le disque qui sera entièrement reformaté.
-En cas de dual boot, prévoir au moins 100Go pour Linux. Vous pouvez choisir à chaque démarrage un lancement sous Linux ou Windows. Un super-utilisateur sous Linux peut encore accéder aux fichiers dans la partition Windows. En configuration dual boot, vous pouvez continuer à utiliser Result’Arc/Trapta dans la partition Windows.
+  * En cas de dual boot, prévoir au moins 100Go pour Linux. Vous pouvez choisir à chaque démarrage un lancement sous Linux ou Windows. Un super-utilisateur sous Linux peut encore accéder aux fichiers dans la partition Windows. En configuration dual boot, vous pouvez continuer à utiliser Result’Arc/Trapta dans la partition Windows.
-Cliquer Install Linux Mint
+  - Cliquer Install Linux Mint
-Choisir :
+  - Choisir :
+      * langue
+      * clavier
+  - Cocher Installer les codecs multimédia
-langue
+====== Installation IANSEO ======
+**Bash Linux Mint pour IANSEO**
-clavier
-Cocher Installer les codecs multimédia
-Installation IANSEO
-Bash Linux Mint pour IANSEO
 Il vaut mieux être connecté sur Internet fibre ou wifi haut-débit pour télécharger des centaines de Mo pendant cette opération.
 Téléchargement d’exemples de configuration d’installation bash pour ianseo
+{{:ianseo:ianseo_install_bash.jpg?400|}}
+{{ :ianseo:ianseo_install_linux_mint_bash.zip |}}
 télécharger les fichiers ci-dessus (extensions .sh et .sql) dans le même répertoire.
@@ Ligne 102: / Ligne 101: @@
 Avec le clic droit, “Ouvrir un terminal ici”.
+{{:ianseo:ianseo_install_bash_dir.jpg?400|}}
 puis lancer les commandes bash
-sudo bash ianseo01_install.sh
-sudo bash ianseo02_create_alias.sh
+sudo bash {{ :ianseo:ianseo01_install.sh.txt |ianseo01_install.sh}}
-sudo bash ianseo03_create_mysql_user.sh
-Lancer le 4ème script ianseo04_apache_restart.sh ou redémarrer l’ordinateur après avoir changé le fichier php.ini comme indiqué ci-après:
+sudo bash {{ :ianseo:ianseo02_create_alias.sh.txt |ianseo02_create_alias.sh}}
-Configuration php.ini
+sudo bash {{ :ianseo:ianseo03_create_mysql_user.sh.txt | ianseo03_create_mysql_user.sh}}
+Lancer le 4ème script ianseo04_apache_restart.sh ou redémarrer l’ordinateur après avoir changé le fichier php.ini comme indiqué ci-après
+===== Configuration php.ini =====
 Les paramètres php.ini doivent être étendus selon les préconisations ianseo
@@ Ligne 116: / Ligne 121: @@
 localisation vérifiable en lançant http://localhost/phpinfo.php
+{{:ianseo:linux_php_ini.jpg?400|}}
 Si phpinfo.php n’est pas installé, ajoutez phpinfo.php avec le script create_phpinfo.sh à lancer dans un terminal:
@@ Ligne 126: / Ligne 132: @@
 upload_max_filesize = 16M
-premier lancement IANSEO
+==== premier lancement IANSEO ====
 IANSEO s’exécute dans le navigateur Firefox à l’adresse: http://locahost/ianseo
 Lors du premier lancement, le panneau de vérification PHP liste les paramètres:
+{{:ianseo:ianseo_phpinfo.jpg|}}
 Ci-dessus, sans les modifications du fichier php.ini, les paramètres mal configurés sont  “rouges”. Dans ce cas, ne pas appuyer sur “suite”, et modifier php.ini