Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | |||
|
doc:admin:docker.io [13/08/2023 19:33] captnfab [Introduction] |
doc:admin:docker.io [13/08/2023 19:34] (Version actuelle) captnfab [Utilisation] |
||
|---|---|---|---|
| Ligne 46: | Ligne 46: | ||
| On crée pour cela un fichier ''Dockerfile'', dont voici un exemple | On crée pour cela un fichier ''Dockerfile'', dont voici un exemple | ||
| - | - qui se base sur une image ubuntu 20.04, | + | |
| - | - crée un utilisateur ''gnuradio'' de base membre des groupes sudo et gnuradio, avec pour mot de passe ''gnuradio'', | + | * qui se base sur une image ubuntu 20.04, |
| - | - lance des commandes de création de dossier, d'installation de paquets, etc. | + | * crée un utilisateur ''gnuradio'' de base membre des groupes sudo et gnuradio, avec pour mot de passe ''gnuradio'', |
| - | - copie un fichier ''exemple.grc'' depuis le dossier courant vers un emplacement dans l'image docker (''/home/gnuradio/exemple.grc'') | + | * lance des commandes de création de dossier, d'installation de paquets, etc. |
| - | - indique que le docker doit être lancé en tant que ''gnuradio'', | + | * copie un fichier ''exemple.grc'' depuis le dossier courant vers un emplacement dans l'image docker (''/home/gnuradio/exemple.grc'') |
| - | - indique que le dossier de travail (''pwd'') doit être ''/home/gnuradio'' | + | * indique que le docker doit être lancé en tant que ''gnuradio'', |
| - | - enfin, indique que la commande à lancer est ''gnuradio-companion''. | + | * indique que le dossier de travail (''pwd'') doit être ''/home/gnuradio'' |
| + | * enfin, indique que la commande à lancer est ''gnuradio-companion''. | ||
| <code dockerfile> | <code dockerfile> | ||
| Ligne 101: | Ligne 102: | ||
| Voici la commande un peu complexe qui serait utilisée ici pour l'exemple de gnuradio: | Voici la commande un peu complexe qui serait utilisée ici pour l'exemple de gnuradio: | ||
| - | - GnuRadio a besoin d'accéder aux périphériques systèmes (''/dev/*'') on peut lui donner cet accès via ''--privileged'', | + | * GnuRadio a besoin d'accéder aux périphériques systèmes (''/dev/*'') on peut lui donner cet accès via ''--privileged'', |
| - | - GnuRadio a besoin d'accéder à Xorg pour l'affichage, on peut lui donner cet accès via ''--volume="/tmp/.X11-unix:/tmp/.X11-unix"'', et de manière similaire pour les sockets de dbus et avahi. | + | * GnuRadio a besoin d'accéder à Xorg pour l'affichage, on peut lui donner cet accès via ''--volume="/tmp/.X11-unix:/tmp/.X11-unix"'', et de manière similaire pour les sockets de dbus et avahi. |
| - | - GnuRadio est une application graphique que je veux lancer en tant qu'utilisateur, je dois donc partager mon ''.Xauthority'' avec l'utilisateur ''gnuradio'' du docker et indiquer le ''DISPLAY'' sur lequel il doit s'afficher en partageant ma variable d'environnement. | + | * GnuRadio est une application graphique que je veux lancer en tant qu'utilisateur, je dois donc partager mon ''.Xauthority'' avec l'utilisateur ''gnuradio'' du docker et indiquer le ''DISPLAY'' sur lequel il doit s'afficher en partageant ma variable d'environnement. |
| - | - Pour accéder aux périphériques audio et radio, je dois m'assurer que l'utilisateur est dans les groupes ''audio'' et ''plugdev''. | + | * Pour accéder aux périphériques audio et radio, je dois m'assurer que l'utilisateur est dans les groupes ''audio'' et ''plugdev''. |
| - | - Enfin, je veux que mon dossier ''~/partage-gnuradio'' soit *monté* dans le dossier ''/home/gnuradio/persistent'' du conteneur afin de partager des fichiers. | + | * Enfin, je veux que mon dossier ''~/partage-gnuradio'' soit *monté* dans le dossier ''/home/gnuradio/persistent'' du conteneur afin de partager des fichiers. |
| Cela se traduit par: | Cela se traduit par: | ||
