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 →
Dans un terminal root2) tapez :
apt update && apt install gprename
Sous gnome, nous retrouvons l'application gprename installée dans les Accessoires du menu Applications.
En cliquant sur l'applet gprename, nous ouvrons le répertoire /home/votre_user.
Il nous faut alors parcourir l'arborescence pour parvenir au répertoire désiré.
En ouvrant gprename dans un terminal, nous pouvons ouvrir directement dans le répertoire que nous désirons. Tapez :
gprename /chemin/du/repertoire
Cool…
Pour effacer choisir :
Vérifier le renommage par Aperçu avant de le réaliser par Renommer. C'est pas une commande par zazard si elle est là
Pour renommer choisir :
Hop !
Incrémenter de “1” tous les noms des fichier du répertoire
Pour incrémenter choisir :
Merci à Haricophile toujours attentif pour avoir proposé cet outil sur irc.