Allez, plutôt que d'utiliser des scripts bash ou des commandes rename qui peuvent changer en fonction de version, je passe à un utilitaire en python !
Installé avec pipx, c'est rapide :)
python
renommage
fichiers
outil
cli
ReplierReplier toutDéplierDéplier toutÊtes-vous sûr de vouloir supprimer ce lien ?Êtes-vous sûr de vouloir supprimer ce tag ?
Le gestionnaire de marque-pages personnel, minimaliste, et sans base de données par la communauté Shaarli
