Beaucoup d'entre vous, si vous venez de MacOS, manqueront le fameux outil Dock. Cet outil est très utile pour de nombreux utilisateurs et a conduit de nombreux développeurs à créer des outils similaires pour d'autres systèmes d'exploitation. Dans Gnu / Linux, nous avons de nombreux types de quais, mais un seul brille par sa légèreté et sa simplicité, ce quai s'appelle Plank.
Plank est un dock qui peut être installé sur presque toutes les distributions Gnu / Linux et cela nous facilite l'utilisation d'un dock sur le bureau. Très utile si nous utilisons des bureaux comme MATE, Cinnamon, KDE ou Xfce. Dans le cas de Gnome, bien que de nombreux utilisateurs l'utilisent, cela ne semble pas avoir beaucoup de sens avec les extensions de dock de Gnome Shell.
Comment installer Plank sur notre Linux
La planche est basée sur l'ancien quai appelé le docky. Cela a permis que ce dock soit actuellement dans de nombreuses distributions, en particulier celles qui sont basées sur Debian et Ubuntu. Cela signifie que grâce à notre outil de distribution pour installer le logiciel, nous pouvons l'installer. Une autre alternative consiste à installer ce dock par package. Pour cela, nous obtenons Paquet de planche et un téléchargé, nous exécutons les lignes suivantes dans le terminal:
cd plank/ ./autogen.sh --prefix=/usr make sudo make install
Avec cela, nous installerons Plank, maintenant bon Comment le configurer?
Pour configurer ce dock dans notre distribution, nous devons d'abord l'exécuter, une fois exécuté, la barre apparaîtra. Pour personnaliser le dock avec nos applications, il suffit de faire passer l'application du menu à la barre. Une autre option est d'exécuter l'application et lorsqu'elle apparaît sur le dock, cliquez dessus avec le bouton droit de la souris et cochez l'option »garder dans le dock». La planche permet également créer des dossiers d'applications, pour cela, nous n'avons qu'à transporter l'application sur une autre application qui se trouve dans le dock. Plank créera automatiquement le dossier des applications.
Plank nous permet également de le personnaliser encore plus avec les thèmes de votre quai. L'installation de ces thèmes est très simple car il suffit de décompresser le thème dans le dossier suivant de notre maison, .local / partage / planche / thèmes. Après avoir décompressé le package, nous redémarrons l'ordinateur et c'est tout.
Peut-être que lorsque vous redémarrez l'ordinateur, vous avez vu que vous deviez réexécuter Plank pour qu'il soit actif. C'est corrigé ajout de Plank à la liste des applications et services qui se chargent au démarrage du système. Et avec ces étapes, vous pouvez avoir un joli dock sur votre Linux, un dock entièrement fonctionnel qui vous aidera à être plus productif devant l'ordinateur.
Pour moi, Plank jette un conflit avec Ubuntu 16.04.2 unity, quand je vais arrêter le système et que je clique dessus, cela me sort de la session, résolu en retardant l'exécution de Plank {sh -c "sleep 15 && plank "}. "Oeil: sans les clés." Si cela ne vous est pas arrivé, faites d'abord cette configuration, si cela s'est déjà produit, supprimez le dossier .config pour résoudre {rm -R .config}, redémarrez et reconfigurez.
REMARQUE: lors de la suppression, vous pourriez perdre la configuration de programmes tels que la transmission, si vous ne le souhaitez pas, vous devrez le faire manuellement en allant dans le dossier et en sauvegardant ceux de vos programmes préférés, puis en supprimant et en réinsérant le dossiers sauvegardés
Après de nombreuses années d'utilisation de macOS et pendant un temps relativement court en tant qu'utilisateur Linux, cela m'est venu à l'esprit. Installé et fonctionnel.
pd supprimer le dossier .config n'est pas quelque chose de excessif? peut-être localiser dans les fichiers associés, non? (attention… je suis un utilisateur novice de Linux).
Intéressant, mais je ne le vois pas très différent de Docky, en plus, c'est presque la même chose. En fait, pour ceux qui le recommandent et qui ont essayé les deux, j'aimerais savoir quels avantages il présente par rapport à Docky. Merci.
Plank est toujours le nouveau nom de Docky.