Dockey affiche le dock masqué de macOS plus rapidement

Nicolas Furno |

Le dock de macOS dispose bien de quelques options dans les Préférences système de macOS, mais la majorité de ses réglages sont en fait cachés. Pour les modifier, il faut soit manier des lignes de commande dans le terminal, soit installer une app qui permet d’accéder à ces réglages. Dockey est l’une de ces apps, mais contrairement à un Onyx qui propose les mêmes options perdues au milieu de centaines d’autres, ce nouveau-venu prend le parti de ne proposer qu’une ou deux options seulement. À la clé, une interface très simple à prendre en main, parfaite pour ceux qui veulent modifier uniquement un paramètre.

Dockey propose très peu de réglages, c’est son principal avantage… si ses réglages vous suffisent.

De fait, Dockey n’a vraiment de sens que dans un seul cas : si vous masquez le dock de macOS par défaut, et que vous trouvez qu’il met trop de temps à être affiché à nouveau par le système au survol de la souris. L’essentiel des réglages proposés dans l’app sont là : on peut choisir la vitesse de l’animation pour afficher le dock, et aussi le temps d’attente avant que l’animation ne commence.

La bonne idée de Dockey, c’est l’aperçu qui permet d’avoir une idée de ce que chaque réglage donne sans avoir à enregistrer les paramètres et redémarrer le dock, une étape obligatoire pour que les changements soient effectifs. À la place, il suffit de glisser la souris dans l’aperçu à gauche et on voit l’animation et le temps nécessaire pour afficher le dock. C’est malin et Apple pourrait bien s’en inspirer pour les Préférences système.

Si vous ne masquez pas automatiquement votre dock, Dockey n’a plus vraiment d’intérêt. L’app permet aussi de choisir l’emplacement pour positionner le dock à droite ou à gauche plutôt qu’en bas, mais on retrouve ce paramètre dans les réglages de base.

L’utilitaire est totalement gratuit si vous voulez le tester, il n’est pas traduit en français et Dockey nécessite macOS 10.13 au minimum. Précisons qu’une fois les réglages modifiés, vous pouvez supprimer l’app de votre Mac si vous ne comptez jamais les modifier.


avatar huexley | 

copier / coller dans le terminal :

defaults write com.apple.dock autohide-delay -int 0
defaults write com.apple.dock autohide-time-modifier -float 0.2
killall Dock

Ca marche depuis la 10.8 minimum…

Ou comment éviter de remplir son Mac de "merdes".

avatar soucolline | 

@huexley

Oui surtout que le soft est même pas open source

avatar Strix | 

@huexley

Merci pour l'astuce.

Tu sais comment revenir à un comportement "normal", si besoin ?

avatar huexley | 

defaults delete com.apple.dock autohide-time-modifier;killall Dock

avatar Strix | 

@huexley

Merci !

avatar gwen | 

@huexley

Et bien moi je trouve ça cool qu’un développeur est pris sur son temps libre pour créer une application qui facilite la gestion du Doc. Ok, je ne vais pas l’utiliser, mais c’est quand même du travail et en plus il le partage.
Libre à toi de ne pas être dans la cible, mais un peu de respect n’a jamais fait de mal à personne. Alors que là tu décourages ce développeur ou d’autre dev d’offrir des petits utilitaires qui propose des fonctions basique mais bien présentées.

avatar huexley | 

La seule chose que j'encourage c'est à réfléchir un peu plutôt que de vivre de tout cuit.

avatar jean_claude_duss | 

@huexley

Déjà 99.9% des gens ici ne connaissent pas ce genre de commande et pour le reste 99% ne saura pas ou n’osera pas la taper. Merci au dev de proposer un outil gratos pour faire ça

avatar violonisme | 

@huexley

À propos des films en VO non sous-titrées, c est la même ? Je peux vouloir voir un film allemand sans parler allemand. De la même façon je peux ne pas savoir utiliser le terminal, ou préférer le confort d'une UI. Je préfère peut être consacrer mon temps à améliorer ma maîtrise du fusain ou des poils de martre. Qui sait? Ou tout simplement passer du temps à parler à des humains plutôt qu à des machines ( dont une part importante de mon temps est déjà consacré à les regarder).
Certes, le terminal est plus efficace. Mais tellement moins user friendly.

avatar huexley | 

"Certes, le terminal est plus efficace."

Tellement plus, que cela me laisse plus de temps pour parler à des humains :-)

avatar Benitochoco | 

La même, avant de poster !

avatar Niarlatop | 

C'est très bien d'avoir proposé un utilitaire léger qui rentre les bonnes commandes à la place de l'utilisateur, ça fera gagner du temps à pas mal de gens.

Perso ces commandes je ne les apprends pas par cœur, je retourne chercher la syntaxe à chaque réinstallation. Je réserve ma mémoire pour des savoirs réutilisables.

Maintenant à la place je pourrais utiliser Dockey, merci de l'info MacG !

avatar jb18v | 

Il y a longtemps (Leopard) j’utilisais SuperDocker pour ce genre de choses, je me demande s’il est toujours maintenu ou fonctionnel ;)

avatar ForzaDesmo | 

Autant dans ce cas débourser 5$ pour avoir un dock complètement reparématrable et plus encore avec cDock : https://w0lfschild.github.io/app_cDock.html

avatar Pipes Chapman | 

@ForzaDesmo

Est-ce que avec cDock on peurt mettre le Dock en haut ? Comme ça se faisait un moment avec un utilitaire dont j'ai oublié le nom

avatar ForzaDesmo | 

@Pipes Chapman

Non uniquement en bas à droite et à gauche.
En même temps en haut il y a la barre de menu.

CONNEXION UTILISATEUR