#1 Le 15/09/2023, à 12:37
- qolepam
mettre Disques et Eye of Gnome dans la barre des favoris du Dock
bonjour,
Travaillant sous Ubuntu 20.04.6 avec Gnome,je n'arrive pas en ligne de commande à mettre dans la barre des favoris du Dock l'application:
-Disques
En effet,la commande suivante ne fonctionne pas:
gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps | sed 's/]/, 'org.gnome.Disks.desktop']/')"-Eye of Gnome
En effet,la commande suivante ne fonctionne pas:
gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps |# sed 's/]/, 'org.gnome.eog.desktop']/')"Par contre,mettre en ligne de commande le Terminal dans la barre des favoris du Dock est possible avec la commande similaire suivante:
gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps | sed 's/]$/, '\''org.gnome.Terminal.desktop'\'']/')"Savez-vous remédier aux 2 premières commandes?
merci de votre aide
Hors ligne
#2 Le 15/09/2023, à 13:04
- nany
Re : mettre Disques et Eye of Gnome dans la barre des favoris du Dock
Bonjour,
-Disques
En effet,la commande suivante ne fonctionne pas:gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps | sed 's/]/, 'org.gnome.Disks.desktop']/')"
Essaie :
gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps | sed 's/]/, '\''org.gnome.DiskUtility.desktop'\'']/')"-Eye of Gnome
En effet,la commande suivante ne fonctionne pas:gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps |# sed 's/]/, 'org.gnome.eog.desktop']/')"
Essaie sans le croisillon :
gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps | sed 's/]/, '\''org.gnome.eog.desktop'\'']/')"En ligne
#3 Le 15/09/2023, à 13:43
- bluc
Re : mettre Disques et Eye of Gnome dans la barre des favoris du Dock
Bonjour
clic droit sur l'icone → Ajouter aux favoris ne convient pas ?
Clevo : Ubuntu 23.10 ❖ Xubuntu 22.10 ❖ Kubuntu 23.10
avec partition data commune Une fraction de seconde Multiboot
Hors ligne
#4 Le 16/09/2023, à 00:21
- qolepam
Re : mettre Disques et Eye of Gnome dans la barre des favoris du Dock
merci nany,ça fonctionne!
...et la commande pour mettre l'application "Capture d'écran" dans la barre des favoris du Dock?
Hors ligne
#5 Le 16/09/2023, à 04:25
- nany
Re : mettre Disques et Eye of Gnome dans la barre des favoris du Dock
Bonjour,
clic droit sur l'icone → Ajouter aux favoris ne convient pas ?
Ça convient parfaitement mais comme qolepam avait mis « en ligne de commande » en gras, j’ai répondu en ligne de commande.
...et la commande pour mettre l'application "Capture d'écran" dans la barre des favoris du Dock?
gsettings set org.gnome.shell favorite-apps "$(gsettings get org.gnome.shell favorite-apps | sed 's/]/, '\''org.gnome.Screenshot.desktop'\'']/')"Attention, cette commande est non valable pour Ubuntu 22.04 et ultérieures !
D’une manière générale, tous les fichiers .desktop dans /usr/share/applications/ qui ne contiennent pas « NoDisplay=true » devraient être valables.
list=( ) ; for fd in /usr/share/applications/*.desktop ; do if ! grep -q "^NoDisplay=true$" "$fd" ; then list+=( "${fd##*/}" ) ; fi ; done ; printf '%s\n' "${list[@]}"En ligne
#6 Le 16/09/2023, à 07:50
- bluc
Re : mettre Disques et Eye of Gnome dans la barre des favoris du Dock
Ok !
Clevo : Ubuntu 23.10 ❖ Xubuntu 22.10 ❖ Kubuntu 23.10
avec partition data commune Une fraction de seconde Multiboot
Hors ligne