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 →
Ceci est une ancienne révision du document !
En cas de modification des noms de fichiers et répertoires :
On installe le paquet rename :
D'abord mettre à jour ses paquets, voir les outils apt pour plus d'explications
apt update 11 apt full-upgrade
Et installer le bouzin :
apt install rename
Documentation find : dans le tuto find.
Mettre une majuscule à la première lettre de tous les répertoires et sous-répertoire d'un répertoire nommé bla :
find -depth -execdir rename "y/\U\$1/" "{}" \;
Code total :
find -depth -execdir rename "y/ '/_-/;s/[\)\(]//g;s/^\.\/(.)/.\/\U\$1/" "{}" \;