Différences

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

--- ianseo:installation:linux_mint [2026/08/27 20:45] – pierre
+++ ianseo:installation:linux_mint [2026/08/27 21:16] (Version actuelle) – pierre
@@ Ligne 1: / Ligne 1: @@
-====== Installation de Linux Mint Xfce ======
+====== Installation de Linux Mint ======
 {{:ianseo:linux_mint_alternative.jpg?400|}}
@@ Ligne 13: / Ligne 13: @@
 Si vous disposez d’un PC sous Windows 10 ou macOS obsolète, vous pouvez le convertir en machine de concours pour greffe IANSEO sous Linux!
-{{:ianseo:linux_cool.jpg?300|}}
+{{:ianseo:linux_cool.jpg?250|}}
+===== Télécharger Linux Mint Xfce =====
-Télécharger Linux Mint Xfce
 La configuration Xfce est la plus légère des configurations Linux Mint et fonctionnera correctement, y compris sur des ordinateurs obsolètes PC sous Windows 10, XP ou Mac.
 Aller sur le site officiel : https://linuxmint.com/download.php
 en mars 2026, le numéro de version est 22.3
+{{:ianseo:linux_mint_download.jpg?400|}}
+Télécharger l’édition XFCE (fichier .iso).
+===== Créer une clef d'installation =====
-Télécharger l’édition XFCE (fichier .iso).
@@ Ligne 29: / Ligne 32: @@
 Créer une clé USB d’installation
 Il faut une clé USB de 8 Go minimum.
-Sous MacOS, un outil simple est belenaEtcher.
-Sous Windows, utiliser belenaEtcher ou un outil comme Rufus https://rufus.ie/fr/#download
+  * Sous __MacOS__, un outil de création de clef bootable **belenaEtcher** https://etcher.balena.io/
+  * Sous __Windows__, utiliser de préférence **Rufus** https://rufus.ie/fr/#download
+{{:ianseo:rufus_download.jpg?400|}}{{:ianseo:rufus_version.jpg?400|}}
@@ Ligne 37: / Ligne 42: @@
 Étapes :
-Brancher la clé USB
+  - Brancher la clé USB
+  - Lancer Rufus (ou une autre application de création de clef bootable)
+  - Sélectionner :
-Lancer Rufus (ou une autre application de création de clef bootable)
+      * Périphérique : la clé USB
+      * Image ISO : fichier Linux Mint téléchargé
+  - Cliquer Démarrer
-Sélectionner :
-Périphérique : la clé USB
-Image ISO : fichier Linux Mint téléchargé
-Cliquer Démarrer
 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
+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.
-Cocher Installer les codecs multimédia
+Téléchargement d’exemples de configuration d’installation bash pour ianseo
+{{:ianseo:ianseo_install_bash.jpg?400|}}
-Installation IANSEO
+{{ :ianseo:ianseo_install_linux_mint_bash.zip |}}
-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
 télécharger les fichiers ci-dessus (extensions .sh et .sql) dans le même répertoire.
@@ Ligne 107: / Ligne 101: @@
 Avec le clic droit, “Ouvrir un terminal ici”.
+{{:ianseo:ianseo_install_bash_dir.jpg?400|}}
+puis lancer les commandes bash
+sudo bash {{ :ianseo:ianseo01_install.sh.txt |ianseo01_install.sh}}
+sudo bash {{ :ianseo:ianseo02_create_alias.sh.txt |ianseo02_create_alias.sh}}
+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 =====
-puis lancer les commandes bash
-sudo bash ianseo01_install.sh
-sudo bash ianseo02_create_alias.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:
-Configuration php.ini
 Les paramètres php.ini doivent être étendus selon les préconisations ianseo
@@ Ligne 121: / 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 131: / 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