Raspbian, et Raspberry Pi OS utilisent par défaut PCManFM comme gestionnaire de fichier. Cette solution minimaliste, généralement suffisante, souffre néanmoins de fonctionnalités incomplÚtes.
Câest, en particulier, le cas des marque-pages (« bookmarks » dans la version anglaise) qui peut ĂȘtre crĂ©e mais pas supprimĂ©s du menu de ce gestionnaire de fichier (« file manager »).
Câest particuliĂšrement embĂȘtant lorsque le dossier correspondant au marque-page nâexiste plus.
La configuration des marque-pages se trouvent dans le fichier ~/.config/gtk-3.0/bookmarks
.
Depuis le terminal, vous pouvez simplement lâĂ©diter Ă lâaide de la commande suivante :
mousepad ~/.config/gtk-3.0/bookmarks
Mousepad est un Ă©diteur de texte rapide pour lâenvironnement de bureau Xfce. Câest lâĂ©diteur de texte par dĂ©faut sous Raspberry Pi OS.
Je vous propose le script suivant pcmanfm-bookmarks-cleaner.sh pour supprimer les marque-pages qui ne correspondent pas Ă un dossier existant.
Vous pouvez l'installer automatiquement, à partir d'un terminal, en vous mettant dans le répertoire de votre choix et avec les commandes:
wget https://blog.cclaude.rocks/post/2021/05/01/pcmanfm-bookmarks-cleaner.sh && chmod +x pcmanfm-bookmarks-cleaner.sh
-
Explication du script
La base du script est quelque chose comme cela :
while read -r entry ; do if [[ "${entry}" == 'file://'* ]] ; then dir="$( cut -d' ' -f1 <<<"${entry:7}" )" if [ -d "${dir}" ] ; then echo "OK: ${dir}" else echo "ERROR: ${dir}" fi else echo "IGNORE: ${entry}" fi done <~/.config/gtk-3.0/bookmarks
- On lit le fichier de configuration ligne par ligne.
- Si câest un fichier, on extrait le nom du fichier (du dossier) â ici câest une version simplifiĂ©e.
- Et on teste si le répertoire existe.
Le script final prend en compte que le nom du fichier est encodĂ© (URL) et quâil faut pour le cas gĂ©nĂ©ral faire une conversion. Que ne souhaite pas modifier le fichier, si est OK.
Références
- Documentation de PCManFM en anglais
኿