Comme vous le savez, gnome3 est assez .. épuré … en terme de paramétrage rapide. Et pour cause, le mot d’ordre semble avoir été de privilégier l’usage au paramétrage (ce qui ma foi est plutôt une bonne chose).
Du coup, voilà une manière propre d’ajouter un raccourci personnalisé dans la liste des applications favorites.
Pour cela il faut ajouter un nouveau fichier .desktop dans le dossier share/applications, cependant contrairement à ce que certains conseillent, je suis totalement opposé à l’écriture dans le dossier /usr/share/aplications, et pour cause, chaque utilisateur dispose de son propre dossier : ~/.local/share/applications (à créer s’il n’existe pas encore).
Par exemple, pour ajouter un lien vers eclipse avec les arguments qui vont bien :
mkdir -p ~/.local/share/applications
cp /usr/share/applications/eclipse.desktop ~/.local/share/applications
Puis modifier le fichier eclipse.desktop comme bon vous semble :
[Desktop Entry]
Type=Application
Name=Eclipse superstack
Comment=Eclipse Integrated Development Environment
Icon=eclipse
Exec=eclipse -vmargs -Xms1024m -Xmx4196m
Terminal=false
Categories=Development;IDE;Java;
Ensuite il suffit de réactualiser la liste des applications, pour cela on redémarre gnome3 :
[alt] + [F2], tapez « r » puis [enter]
Et voilà votre nouveau raccourci « eclipse superstack » est ajouté à la liste des applications disponibles.