ianseo:installation:linux_mint
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| ianseo:installation:linux_mint [2026/08/27 20:29] – pierre | ianseo:installation:linux_mint [2026/08/27 21:16] (Version actuelle) – pierre | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== Installation Linux Mint ====== | + | ====== Installation |
| - | Installation de Linux Mint Xfce | + | |
| + | {{: | ||
| + | |||
| Préconisation de configuration d’ordinateur: | Préconisation de configuration d’ordinateur: | ||
| - | mémoire | + | * Liste à pucemémoire |
| - | Disque > 100Go | + | |
| - | un disque SSD est souhaitable; | + | |
| - | Port Ethernet pour liaison au routeur | + | |
| - | ou via un adaptateur à connecter sur port USB-A ou USB-C . | + | |
| - | Port HDMI pour sortie sur écran ou video-projecteur; | + | |
| - | un ancien port VGA est acceptable si vous avez un câble VGA et écran VGA ou un adaptateur VGA-> | + | |
| 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! | 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! | ||
| - | 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, | La configuration Xfce est la plus légère des configurations Linux Mint et fonctionnera correctement, | ||
| + | |||
| Aller sur le site officiel : https:// | Aller sur le site officiel : https:// | ||
| en mars 2026, le numéro de version est 22.3 | en mars 2026, le numéro de version est 22.3 | ||
| - | + | {{: | |
| Télécharger l’édition XFCE (fichier .iso). | Télécharger l’édition XFCE (fichier .iso). | ||
| + | |||
| + | ===== Créer une clef d' | ||
| Ligne 26: | Ligne 32: | ||
| Créer une clé USB d’installation | Créer une clé USB d’installation | ||
| Il faut une clé USB de 8 Go minimum. | 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:// | ||
| + | * Sous __MacOS__, un outil de création de clef bootable **belenaEtcher** https:// | ||
| + | * Sous __Windows__, | ||
| + | |||
| + | {{: | ||
| Ligne 34: | Ligne 42: | ||
| Étapes : | Étapes : | ||
| - | Brancher la clé USB | + | - Brancher la clé USB |
| + | - Lancer Rufus (ou une autre application de création de clef bootable) | ||
| + | - Sélectionner : | ||
| + | * Périphérique : la clé USB | ||
| + | * Image ISO : fichier Linux Mint téléchargé | ||
| + | - Cliquer Démarrer | ||
| - | Lancer Rufus (ou une autre application de création de clef bootable) | + | La clé devient |
| + | ===== Démarrer le PC sur la clé USB ===== | ||
| - | Sélectionner : | ||
| + | - Liste numérotéeRedémarrer le PC | ||
| + | - Appuyer sur la touche du Boot menu (souvent F12 / F2 / ESC / DEL selon le PC) | ||
| + | - Choisir USB | ||
| - | Périphérique : la clé USB | ||
| + | Le menu de **Linux Mint** apparaît. | ||
| - | Image ISO : fichier Linux Mint téléchargé | + | ===== Lancer l’installation ===== |
| + | Sur un ancien ordinateur où Windows ou Mac est déjà installé, une configuration dual-boot est proposée. | ||
| + | * 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/ | ||
| - | Cliquer Démarrer | ||
| + | - Cliquer Install Linux Mint | ||
| + | - Choisir : | ||
| + | * langue | ||
| + | * clavier | ||
| + | - Cocher Installer les codecs multimédia | ||
| - | La clé devient bootable. | ||
| - | Démarrer le PC sur la clé USB | + | ====== Installation IANSEO ====== |
| - | Redémarrer le PC | + | |
| + | **Bash Linux Mint pour IANSEO** | ||
| - | Appuyer | + | Il vaut mieux être connecté |
| - | | + | |
| - | Choisir USB | + | Téléchargement d’exemples de configuration d’installation bash pour ianseo |
| + | {{: | ||
| - | Le menu de Linux Mint apparaît. | + | {{ : |
| - | Lancer | + | |
| - | Sur un ancien ordinateur où Windows ou Mac est déjà installé, une configuration dual-boot est proposée. | + | télécharger les fichiers ci-dessus (extensions .sh et .sql) dans le même répertoire. |
| - | Si vous avez fait toutes vos sauvegardes sur l’ordinateur à configurer sous Linux, il est préférable | + | La dernière version de l’installation |
| - | En cas de dual boot, prévoir au moins 100Go pour Linux. Vous pouvez choisir | + | https:// |
| + | le nom de l’archive “Ianseo_20250210.zip” | ||
| + | Alternativement, installer la version Ianseo 2025 en l’état; la mise à jour se fera plus tard sous Ianseo. | ||
| + | |||
| + | |||
| + | ouvrir le répertoire où les fichiers sont enregistrés (probablement sur “téléchargement”) | ||
| + | Sur un compte | ||
| + | ouvrir un terminal, c’est-à-dire, | ||
| + | Avec le clic droit, “Ouvrir un terminal ici”. | ||
| + | |||
| + | {{: | ||
| + | |||
| + | puis lancer les commandes bash | ||
| + | |||
| + | sudo bash {{ : | ||
| + | |||
| + | sudo bash {{ : | ||
| + | |||
| + | sudo bash {{ : | ||
| + | |||
| + | 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 | ||
| + | |||
| + | Sous Linux Mint avec une installation php 8.4, le fichier php.ini est dans le répertoire | ||
| + | / | ||
| + | localisation vérifiable en lançant http:// | ||
| + | {{: | ||
| - | Cliquer Install Linux Mint | + | Si phpinfo.php n’est pas installé, ajoutez phpinfo.php avec le script create_phpinfo.sh à lancer dans un terminal: |
| - | Choisir | + | sudo bash create_phpinfo.sh |
| + | Editer / | ||
| - | langue | + | max_execution_time = 120 |
| + | post_max_size = 16M | ||
| + | upload_max_filesize = 16M | ||
| + | ==== premier lancement IANSEO ==== | ||
| - | clavier | ||
| + | IANSEO s’exécute dans le navigateur Firefox à l’adresse: | ||
| + | Lors du premier lancement, le panneau de vérification PHP liste les paramètres: | ||
| - | Cocher Installer les codecs multimédia | + | {{: |
| + | 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”, | ||
ianseo/installation/linux_mint.1787855366.txt.gz · Dernière modification : de pierre
