Question Personnalisation de l'affichage de la date de la barre des tâches / de la barre des tâches dans Ubuntu à partir de 17.10


Sur les versions précédentes, j'avais la date affichée. Maintenant, il affiche juste le jour actuel, mais pas le numéro du jour ou le mois.

Y a-t-il un moyen de personnaliser l'horloge ou la barre des tâches / la barre des tâches dans Ubuntu 17.10?


93
2017-10-20 03:19


origine


Je me suis connecté à l'unité pour le moment, mais cela ne me dérangerait pas de savoir s'il y a un moyen de modifier cela dans gnome. - neuromage
Pendant une minute, j'ai mal interprété votre dernier "in" en tant que "than", et je pensais que 17.10 était une balise bizarrement spécifique relative à l'heure affichée par l'horloge lorsque vous l'avez soumise ... - Muzer
Merci à tous pour vos conseils. Désolé pour la balise 17.10, vous ne savez pas quoi utiliser. - neuromage
J'ai installé gnome-tweak-tool qui a fait l'affaire avec l'horloge. Peut-être vérifier l’extension du shell à un moment donné. La seule autre chose qui me manque est la rotation du cube. Je ne sais pas comment récupérer le bouton de commutation de l'espace de travail. ctrl alt left ou right ne change pas l'espace de travail. - neuromage
@neuromage Si la réponse de Videonauth vous convient, vous peut "l'accepter" en cliquant sur la coche (✓) à côté. - pomsky


Réponses:


Vous pouvez obtenir la date affichée dans la barre supérieure en utilisant gnome-tweak-tool. Ouvrez d'abord un terminal avec ctrl+alt+t et installez l'outil de réglage avec

sudo apt install gnome-tweak-tool
gnome-tweaks  #  now launch it

Après cela, vous pouvez le démarrer à partir du sélecteur d'application (là, le nom n'est que quelques réglages) et naviguer dans l'outil de réglage jusqu'à l'onglet «Barre supérieure» et activer Date et Secondes (voir capture d'écran).

enter image description here

Bien que cela puisse être l'approche la plus simple pour l'utilisateur occasionnel, il existe une autre méthode qui fonctionne. En émettant la commande de terminal suivante, vous pouvez définir la même chose:

# makes the date appear
gsettings set org.gnome.desktop.interface clock-show-date true
# switches the seconds display on
gsettings set org.gnome.desktop.interface clock-show-seconds true

En remplaçant set avec get vous pouvez demander au système de vous donner les paramètres réels. Exemple:

gsettings get org.gnome.desktop.interface clock-show-seconds

141
2017-10-20 07:40



gnome-tweak-tool est vraiment un paquet essentiel pour quiconque est en fait en utilisant leurs ordinateurs pendant plus de 5 minutes. - pipe
Il convient de noter qu'une fois installé, le nom de l'application est Tweaks. - medley56
La date doit être affichée par défaut à côté de l'horloge. (Qui a besoin de connaître le jour de la semaine sans connaître la date !!). Le fait que vous deviez installer un paquet supplémentaire pour l'activer est insondable! - EoghanM
@EoghanM L'installation d'un paquet supplémentaire n'est en fait pas nécessaire, vous pouvez l'activer simplement en cours d'exécution gsettings set org.gnome.desktop.interface clock-show-date true. (Videonauth, pensez à ajouter le gsettings/dconf méthode à la réponse.) - pomsky
@pomsky l'a fait. - Videonauth


Vous pouvez essayer d'utiliser un Extension du shell GNOME appelé Dérogation d'horloge. Il vous laisse

Remplacez l'horloge Gnome Shell par un nouveau format d'heure ou un texte de votre choix.

Elle supporte Python strftime format.


10
2017-10-20 07:27



Cette extension de remplacement de l’horloge est géniale: elle vous offre une liberté totale pour personnaliser l’horloge comme vous le souhaitez. Préparez-vous à lire la syntaxe de la chaîne de format, sauf si vous la connaissez déjà depuis Python. - Deeday-UK