-
Notifications
You must be signed in to change notification settings - Fork 59
Configuration File fr
MiniOS se distingue de la plupart des distributions flash classiques en permettant de configurer certains paramètres avant le démarrage via un fichier de configuration simple config/config.conf, ce qui réduit considérablement le travail nécessaire lors de la création de vos propres modules pour des systèmes embarqués. Certains paramètres peuvent également être définis en option dans les paramètres de démarrage. Les options de démarrage priment sur le fichier de configuration. Certains paramètres de ce fichier sont réservés au service et il est préférable de ne pas les modifier. Voici un exemple de fichier de configuration standard :
<a id="you-can-get-information-about-minios-live-config-and-other-options"></a>
# You can get information about minios-live-config and other options:
<a id="man-live-config"></a>
# man live-config
LIVE_CONFIG_CMDLINE="components"
LIVE_HOSTNAME="minios"
LIVE_USERNAME="live"
LIVE_USER_FULLNAME="MiniOS Live User"
LIVE_USER_DEFAULT_GROUPS="dialout cdrom floppy audio video plugdev users fuse plugdev netdev powerdev scanner bluetooth weston-launch kvm libvirt libvirt-qemu vboxusers lpadmin dip sambashare docker wireshark"
LIVE_USER_PASSWORD_CRYPTED='$y$j9T$ZjqXh232.8hREYixjgMNN.$ADNa7mAp.Cjky5HgjG7JioH3SxnzPLljAC0fVxPsYr6'
LIVE_ROOT_PASSWORD_CRYPTED='$y$j9T$y6H8zml37HjzKO517qvkc.$53Ux0xA0OVHIELjgf91mMd8nr1DM.E3PSI.StCEnn4.'
LIVE_CONFIG_NOROOT=""
LIVE_LOCALES="en_US.UTF-8"
LIVE_TIMEZONE="Etc/UTC"
LIVE_KEYBOARD_MODEL="pc105"
LIVE_KEYBOARD_LAYOUTS="us,us"
LIVE_KEYBOARD_OPTIONS="grp:alt_shift_toggle,grp_led:scroll"
LIVE_KEYBOARD_VARIANTS=","
LIVE_CONFIG_DEBUG="true"
LIVE_LINK_USER_DIRS="false"
LIVE_BIND_USER_DIRS="false"
LIVE_USER_DIRS_PATH="/minios/userdata"
LIVE_MODULE_MODE="merged"
<a id="minios-livekit-settings"></a>
# MiniOS LiveKit settings.
DEFAULT_TARGET="graphical"
ENABLE_SERVICES="ssh"
DISABLE_SERVICES=""
EXPORT_LOGS="false"
Légende :
- 🔒 Une seule fois – Appliqué uniquement au premier démarrage, ne peut pas être modifié lors des démarrages suivants
- 🔄 Reconfigurable – Peut être modifié à chaque démarrage et réappliqué
| Paramètre | Reconfigurable | Signification | Exemple |
|---|---|---|---|
| LIVE_CONFIG_CMDLINE | 🔄 | Paramètres supplémentaires de démarrage pour live-config. Voir man 7 live-config. |
LIVE_CONFIG_CMDLINE="components" |
| LIVE_HOSTNAME | 🔄 | Nom du nœud associé au système. Voir man 7 live-config. |
LIVE_HOSTNAME="minios" |
| LIVE_USERNAME | 🔒 | Nom de l'utilisateur dont le profil sera créé au premier démarrage. Si vous indiquez le nom d'utilisateur root, aucun profil utilisateur ne sera créé et la connexion se fera avec le profil root. Voir man 7 live-config. |
LIVE_USERNAME="live" |
| LIVE_USER_FULLNAME | 🔒 | Nom complet de l'utilisateur principal. Voir man 7 live-config. |
LIVE_USER_FULLNAME="MiniOS Live User" |
| LIVE_USER_DEFAULT_GROUPS | 🔒 | Liste des groupes pour l'utilisateur principal, séparés par des virgules. Voir man 7 live-config. |
LIVE_USER_DEFAULT_GROUPS="dialout,cdrom,floppy..." |
| LIVE_USER_PASSWORD_CRYPTED | 🔒 | Mot de passe de l'utilisateur principal sous forme chiffrée (hash). Utilisez mkpasswd -m yescrypt pour générer. Voir man 7 live-config. |
LIVE_USER_PASSWORD_CRYPTED='$y$j9T$...' |
| LIVE_ROOT_PASSWORD_CRYPTED | 🔒 | Mot de passe de l'utilisateur privilégié root sous forme chiffrée (hash). Utilisez mkpasswd -m yescrypt pour générer. Voir man 7 live-config. |
LIVE_ROOT_PASSWORD_CRYPTED='$y$j9T$...' |
| LIVE_CONFIG_NOROOT | 🔒 | Si activé, désactive la connexion au compte root et désactive sudo/policykit pour l'utilisateur. Voir man 7 live-config. |
LIVE_CONFIG_NOROOT="" |
| LIVE_LOCALES | 🔄 | Définit la locale. Plusieurs valeurs peuvent être séparées par des virgules. Voir man 7 live-config. |
LIVE_LOCALES="en_US.UTF-8" |
| LIVE_TIMEZONE | 🔄 | Définit le fuseau horaire (ex : "Europe/Berlin", "Etc/UTC"). Voir man 7 live-config. |
LIVE_TIMEZONE="Etc/UTC" |
| LIVE_KEYBOARD_MODEL | 🔄 | Définit le modèle de clavier (ex : "pc105"). Voir man 7 live-config. |
LIVE_KEYBOARD_MODEL="pc105" |
| LIVE_KEYBOARD_LAYOUTS | 🔄 | Définit les dispositions clavier (séparées par des virgules, ex : "us,de"). Voir man 7 live-config. |
LIVE_KEYBOARD_LAYOUTS="us,de" |
| LIVE_KEYBOARD_OPTIONS | 🔄 | Définit les options clavier (ex : "grp:alt_shift_toggle,grp_led:scroll"). Voir man 7 live-config. |
LIVE_KEYBOARD_OPTIONS="grp:alt_shift_toggle,grp_led:scroll" |
| LIVE_KEYBOARD_VARIANTS | 🔄 | Définit les variantes de clavier (séparées par des virgules, peut être vide ou correspondre aux layouts). Voir man 7 live-config. |
LIVE_KEYBOARD_VARIANTS="," |
| LIVE_CONFIG_DEBUG | 🔄 | Active le mode debug pour live-config. Voir man 7 live-config. |
LIVE_CONFIG_DEBUG="true" |
| LIVE_LINK_USER_DIRS | 🔄 | Si activé, les répertoires utilisateur seront liés depuis le chemin spécifié. | LIVE_LINK_USER_DIRS="false" |
| LIVE_BIND_USER_DIRS | 🔄 | Si activé, les répertoires utilisateur seront montés en bind depuis le chemin spécifié. | LIVE_BIND_USER_DIRS="false" |
| LIVE_USER_DIRS_PATH | 🔄 | Chemin vers les répertoires de données utilisateur sur la clé USB. | LIVE_USER_DIRS_PATH="/minios/userdata" |
| LIVE_MODULE_MODE | 🔄 | Sélectionne le mode de fonctionnement du système. Si vous prévoyez d’installer les logiciels uniquement par modules, utilisez "merged". Si vous souhaitez installer des logiciels avec apt, utilisez "simple". Par défaut : "merged". | LIVE_MODULE_MODE="merged" |
| DEFAULT_TARGET | 🔄 | Cible systemd pour le démarrage. Voir man systemd.special. |
DEFAULT_TARGET="graphical" |
| ENABLE_SERVICES | 🔄 | Active les services au démarrage (séparés par des virgules). | ENABLE_SERVICES="ssh" |
| DISABLE_SERVICES | 🔄 | Désactive les services au démarrage (séparés par des virgules). | DISABLE_SERVICES="" |
| EXPORT_LOGS | 🔄 | Si activé, lors d’un démarrage depuis un support inscriptible, les logs MiniOS sont copiés dans le dossier minios/logs au démarrage. | EXPORT_LOGS="false" |
Pour plus de détails sur la plupart des paramètres, consultez :
-
man 7 live-config(live-config) - Pour les cibles systemd :
man systemd.special
- Le serveur SSH est activé par défaut pour assurer la compatibilité avec les initrds tiers ; pour le désactiver, il ne suffit pas de le retirer de
ENABLE_SERVICES.
À quoi d'autre peut servir le fichier config.conf ? Vous pouvez l’utiliser pour définir vos propres paramètres dans vos scripts lors de la création de modules. Au premier démarrage, il est copié dans le dossier /etc/minios, puis le fichier /etc/live/config.conf est automatiquement surveillé et, en cas de modification, il écrase le fichier de configuration sur la clé USB si celle-ci est inscriptible. Ainsi, vous pouvez placer vos variables dans config.conf et les récupérer depuis /etc/live/config.conf dans vos scripts, quel que soit le type d’initrd utilisé.
🌐 Languages
📋 About MiniOS
🚀 Installation
⚙️ Configuration
🛡️ Administration
🛠️ Development
📋 Über MiniOS
🚀 Installation
- Schnellstartanleitung
- Hardware-Kompatibilität
- MiniOS Installation
- MiniOS Installer
- USB-Erstellungstools
⚙️ Konfiguration
🛡️ Administration
🛠️ Entwicklung
📋 Acerca de MiniOS
🚀 Instalación
- Guía de Inicio Rápido
- Compatibilidad de Hardware
- Instalando MiniOS
- Instalador de MiniOS
- Herramientas para Crear USB
⚙️ Configuración
- Menús de Arranque
- Parámetros de Arranque
- Archivo de Configuración
- Parámetros de live-config
- Gestión de Sesiones
🛡️ Administración
- Lista de Paquetes
- Gestión del Kernel
- Endurecimiento de Seguridad
- Optimización de Rendimiento
- Virtualización
🛠️ Desarrollo
📋 À propos de MiniOS
🚀 Installation
- Guide de démarrage rapide
- Compatibilité matérielle
- Installation de MiniOS
- Programme d’installation MiniOS
- Outils de création USB
⚙️ Configuration
- Menus de démarrage
- Paramètres de démarrage
- Fichier de configuration
- Paramètres live-config
- Gestion de session
🛡️ Administration
- Liste des paquets
- Gestion du noyau
- Renforcement de la sécurité
- Optimisation des performances
- Virtualisation
🛠️ Développement
📋 Tentang MiniOS
🚀 Instalasi
- Panduan Mulai Cepat
- Kompatibilitas Perangkat Keras
- Menginstal MiniOS
- Installer MiniOS
- Alat Pembuatan USB
⚙️ Konfigurasi
🛡️ Administrasi
🛠️ Pengembangan
📋 Informazioni su MiniOS
🚀 Installazione
- Guida Rapida
- Compatibilità Hardware
- Installazione di MiniOS
- Installatore MiniOS
- Strumenti per Creare USB
⚙️ Configurazione
🛡️ Amministrazione
- Elenco Pacchetti
- Gestione Kernel
- Rafforzamento della Sicurezza
- Ottimizzazione Prestazioni
- Virtualizzazione
🛠️ Sviluppo
📋 Sobre o MiniOS
🚀 Instalação
- Guia de Início Rápido
- Compatibilidade de Hardware
- Instalando o MiniOS
- Instalador do MiniOS
- Ferramentas de Criação de USB
⚙️ Configuração
- Menus de Boot
- Parâmetros de Boot
- Arquivo de Configuração
- Parâmetros live-config
- Gerenciamento de Sessão
🛡️ Administração
- Lista de Pacotes
- Gerenciamento de Kernel
- Reforço de Segurança
- Otimização de Desempenho
- Virtualização
🛠️ Desenvolvimento
📋 О MiniOS
🚀 Установка
- Краткое руководство
- Совместимость с оборудованием
- Установка MiniOS
- Установщик MiniOS
- Инструменты для создания USB
⚙️ Конфигурация
🛡️ Администрирование
🛠️ Разработка