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 →
La commande rmdir
permet de supprimer un répertoire uniquement s'il est vide.
Dans un terminal user
rmdir /chemin/vers/le_repertoire_vide