cClaude.rocks ☕ Le blog

[Nouvelles technologies, sciences et coups de gueule…]

Menu

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

኿


â„č 2006 - 2023 | 🏠 Accueil du domaine | 🏡 Accueil du blog