Greboca  

Suport technique et veille technologique

Suport technique et veille technologique

Aujourd’hui, les grandes entreprises et administrations publiques hésitent entre continuer à utiliser des logiciels propriétaires ou basculer vers les Logiciels Libres. Pourtant, la plupart des logiciels libres sont capables de bien traiter les données issues des logiciels propriétaire, et parfois avec une meilleur compatibilité.

C’est alors la barrière de la prise en main qui fait peur, et pourtant...

Les logiciels libres

L’aspect « Logiciel Libre » permet une évolution rapide et une plus grande participation des utilisateurs. Les aides et tutoriels foisonnent sur Internet ou sont directement inclus dans le logiciel lui-même.

Enfin, les concepteurs sont plus proches des utilisateurs, ce qui rend les logiciels libres plus agréable à utiliser et conviviaux.

Grâce à la disponibilité des logiciels libres, vous trouverez facilement des services de support techniques et la licence n’est plus un frein à l’utilisation de ces logiciels par votre personnel.

Notre support technique concerne essentiellement les logiciels libres, que ce soit sous forme de services ponctuels ou de tutoriels.

linux - malekal.com  -  Grouper les favoris/raccourcis dans le dock Ubuntu

 -  Décembre 2023 - 

Une des caractéristiques d’Ubuntu est son Dock qui prend la forme d’une barre de lancement vertical sur le côté gauche.
On y voit les applications en cours de fonctionnement et l’utilisateur peut y ajouter ses applications en favoris pour accéder plus rapidement aux raccourcis de ses applications préférées.
Mais avec le temps, on peut cumuler beaucoup d’icônes dans la barre de lancement d’Ubuntu, ainsi pour mieux organiser le Dock Ubuntu, vous pouvez souhaiter regrouper les icônes dans des dossiers.

Dans ce tutoriel, je vous explique comment grouper des icônes dans un dossier de lancement dans le Dock Ubuntu.

Grouper les favoris/raccourcis dans le dock Ubuntu

Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu

Voici un exemple du bureau d’Ubuntu avec le Dock remplit de nombreux applications en favoris.
Le but ici est de grouper les favoris dans un dossier de lanceurs pour réduire le nombre d’icônes dans la barre de lancement.

Dock Ubuntu encombré par beaucoup de favoris

Comme j’ai des jeux Steam sur Ubuntu et via Lutris, je vais regrouper les icônes dans un dossier unique.
Pour cela, on commence par créer le dossier via un fichier .desktop :

gedit ~/.local/share/applications/jeux.desktop
  • Au début du fichier, on créé l’entrée suivante :
[Desktop Entry]
Name=Dossiers Jeux
Comment=Mes jeux
Exec=notify-send "Clic droit pour démarrer un jeu"
Icon=/usr/share/icons/Yaru/48x48/categories/applications-games.png
Terminal=false
Type=Application
StartupNotify=true
Actions=app4;app3;app2;app1
  • Modifiez Name pour saisir le nom du dossier. L’entrée Comment est facultative
  • Vous pouvez modifier l’icône en cherchant des icônes en 48×48 depuis le répertoire /usr/share/icons/
  • Enfin dans Actions, saisissez le nombre d’applications qui seront présentes en séparant par des point virgule. Dans cet exemple, j’ai 4 entrée d’app1 à app4
  • Puis on créé les entrées du raccourci de chaque application. Par exemple pour Age Of Empire :
[Desktop Action app1]
Name=Age of Empires IV
Comment=Play this game on Steam
Exec=steam steam://rungameid/1466860
Icon=steam_icon_1466860
Terminal=false
Type=Application
StartupNotify=True
  • Il est important que chaque nom d’entrée reprenne le nom de l’Action, ici app1 pour la première
  • Pour faciliter la création du raccourci, vous pouvez copier/collez les raccourcis existants qui se trouvent dans :
    • /usr/share/applications/
    • ~/.local/share/applications/
Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu
  • Les entrées Name, Exec et Type sont importantes, les autres sont facultatives
  • Ce qui nous donne au final avec tous les raccourcis :
[Desktop Entry]
Name=Dossiers Jeux
Comment=Mes jeux
Exec=notify-send "Clic droit pour démarrer un jeu"
Icon=/usr/share/icons/Yaru/48x48/categories/applications-games.png
Terminal=false
Type=Application
StartupNotify=true
Actions=app4;app3;app2;app1

[Desktop Action app1]
Name=Age of Empires IV
Comment=Play this game on Steam
Exec=steam steam://rungameid/1466860
Icon=steam_icon_1466860
Terminal=false
Type=Application
StartupNotify=True

[Desktop Action app2]
Name=Europa Universalis IV
Comment=Play this game on Steam
Exec=steam steam://rungameid/236850
Icon=steam_icon_236850
Terminal=false
Type=Application
StartupNotify=True

[Desktop Action app3]
Name=StarCraft II
Type=Application
Icon=lutris_starcraft-ii
Exec=env LUTRIS_SKIP_INIT=1 lutris lutris:rungameid/3
StartupNotify=True

[Desktop Action app4]
Name=Steam
Comment=Application de gestion et d'utilisation des jeux sur Steam
Exec=/usr/games/steam %U
Icon=steam
Terminal=false
Type=Application
StartupNotify=True
Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu
  • Enregistrez le fichier
  • Pour prendre en compte les modifications, vous devez fermer et relancer la session utilisateur si vous êtes sur Wayland. Si vous êtes sur X11, vous pouvez exécuter la commande r en appuyant sur ALT+F2
  • Puis faites une recherche d’applications sur le nom du dossier de groupes de raccourci et Ajouter aux favoris
Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu
  • Un clic droit sur le dossier vous permet de lancer l’application mise en raccourci
Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu

Il ne reste plus qu’à répéter l’opération pour créer un autre dossier pour grouper vos raccourcis.
Par exemple, ci-dessous, je créé un dossier pour grouper les applications systèmes.

Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu

A nouveau, un clic droit sur le dossier permet d’accéder aux raccourcis des applications.

Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu

Au final, cela permet de réduire le nombre d’icônes dans le Dock Ubuntu et mieux organiser ce dernier.

Comment grouper des raccourcis dans un dossier de lancement dans le Dock Ubuntu

Pour terminer, je vous présente ces deux Tweeks non officiels pour Gnome qui permet aussi de trier et grouper les raccourcis des applications de Gnome par catégorie : App-Grid-Tweaks et gnome-dash-fix

Grouper les applications par catégories dans Gnome

L’article Grouper les favoris/raccourcis dans le dock Ubuntu est apparu en premier sur malekal.com.

par malekalmorte

linux - malekal.com

site informatique Windows 11, Windows 10, Virus et Linux (Ubuntu, Debian)

Utiliser Tmux sur Linux avec des exemples

 -  16 août - 

Les administrateurs système doivent souvent travailler sur plusieurs consoles et apprécient donc de pouvoir passer de l’une à l’autre en un clin (...)


Installer VirtualBox sur Ubuntu ou Debian

 -  13 janvier - 

VirtualBox est un gestionnaire de machines virtuelles open source.Il est donc disponible dans la plupart des distributions Linux et notamment (...)


Les notifications d’Ubuntu : les afficher, les désactiver

 -  7 janvier - 

Ubuntu, comme tout système d’exploitation moderne, possède un mécanisme de notification.Le système ou des applications peuvent afficher des (...)


ACPI BIOS Error dans Ubuntu

 -  6 janvier - 

Lors du démarrage de votre PC en Ubuntu, vous pouvez apercevoir un message d’erreur : ACPI BIOS Error (bug) : Could not resolve sympbol, (...)


Linux : redimensionner des images

 -  Décembre 2023 - 

Vous avez besoin de redimensionner des images sous Linux mais vous ne savez pas par où commencer.Que vous soyez en graphique ou en terminal, il (...)