Nous devrions donc corriger cela, mais la correction consiste en un script bash très très complexe. N’hésitez pas à essayer.
Notre fonction d’obtention des arguments Docker devrait être responsable de la taille shm-size. Elle doit gérer les remplacements par l’utilisateur et définir une valeur par défaut.