Les entrées par défaut, qui sont ajoutées automatiquement à l Files
(pas ceux qui sont mentionnés dans la page d'accueil). .desktop file
), sont stockés dans ~/.config/gtk-3.0/bookmarks
comme des lignes dans le format :
file:///home/[your_username]/Documents
file:///home/[your_username]/Downloads
etc.
Je crains que vous ne deviez les saisir à nouveau manuellement si le fichier a été endommagé d'une manière ou d'une autre.
...Ou, si vous voulez simplement utiliser todo les entrées dans ~/.config/user-dirs.dirs
vous pouvez utiliser le script ci-dessous :)
#!/usr/bin/env python3
import os
home = os.getenv("HOME")
exclude = ["Desktop", "Templates"]
with open(home+"/.config/user-dirs.dirs") as locations:
homelinks = [item.replace("\n", "").split("$HOME/")[-1][:-1] \
for item in locations.readlines() if item.startswith("XDG_")]
with open(home+"/.config/gtk-3.0/bookmarks", "wt") as bookmarks:
for item in homelinks:
if not item in exclude:
bookmarks.write("file://"+home+"/"+item+"\n")