Ceci est une ancienne révision du document !
Table des matières
Installation de Linux Mint
Préconisation de configuration d’ordinateur:
- Liste à pucemémoire RAM 4Go ou plus
- Disque > 100Go, un disque SSD est souhaitable; un disque mécanique fonctionne correctement, le temps de démarrage sera simplement plus long.
- 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→HDMI pour écran HDMI. Sur les anciens Mac, les miniDisplayPort étaient utilisés avant HDMI.
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
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
Télécharger l’édition XFCE (fichier .iso).
Créer une clef d'installation
Choisir un site miroir, par exemple “France CNRS”. Créer une clé USB d’installation Il faut une clé USB de 8 Go minimum.
- 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
Étapes :
- 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
La clé devient bootable.
Démarrer le PC sur la clé USB Redémarrer le PC
Appuyer sur la touche du Boot menu (souvent F12 / F2 / ESC / DEL selon le PC)
Choisir USB
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é. 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 Choisir :
langue
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
télécharger les fichiers ci-dessus (extensions .sh et .sql) dans le même répertoire. La dernière version de l’installation ianseo_xxxx.zip est sur https://ianseo.net/Releases.php le nom de l’archive “Ianseo_20250210.zip” est susceptible de changer après 2025 et doit être adapté dans le script ianseo01_install.sh 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 super-utilisateur, les opérations d’installation de IANSEO sont exécutées par les scripts ci-après: ouvrir un terminal, c’est-à-dire, ouvrir le gestionnaire de fichier (Thunar sous Linux Mint Xfce) dans le répertoire contenant les fichiers téléchargés (par défaut “Téléchargements”), Avec le clic droit, “Ouvrir un terminal ici”.
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
Sous Linux Mint avec une installation php 8.4, le fichier php.ini est dans le répertoire /etc/php/8.4/apache2/php.ini localisation vérifiable en lançant http://localhost/phpinfo.php
Si phpinfo.php n’est pas installé, ajoutez phpinfo.php avec le script create_phpinfo.sh à lancer dans un terminal: sudo bash create_phpinfo.sh
Editer /etc/php/8.4/apache2/php.ini et vérifier les paramètres
max_execution_time = 120 post_max_size = 16M upload_max_filesize = 16M
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:
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




