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.
Remplacer espaces et apostrophes par_ et ' dans le dossier nommé /bla/ et ses sous-répertoires :
find /bla/ -depth -execdir rename "y/'/_-/" "{}" \;
Ce script met :
_
1)Illustration :
nom du fichier-(Le)
Devient :
Nom_du_fichier-Le
find -depth -execdir rename “y/ '/_-/;s/[\)\(]g;s/^\.\/(.)/.\/\U\$1/” “{}” \;