W poprzednich wersjach wyświetlałem datę. Teraz pokazuje tylko bieżący dzień, ale nie pokazuje numeru dnia ani miesiąca.
Czy istnieje sposób na dostosowanie zegara lub paska zadań / paska zadań bardziej w powłoce GNOME na Ubuntu 17.10 i nowszych?
W poprzednich wersjach wyświetlałem datę. Teraz pokazuje tylko bieżący dzień, ale nie pokazuje numeru dnia ani miesiąca.
Czy istnieje sposób na dostosowanie zegara lub paska zadań / paska zadań bardziej w powłoce GNOME na Ubuntu 17.10 i nowszych?
Odpowiedzi:
Możesz wyświetlić datę wyświetlaną na górnym pasku, używając gnome-tweak-tool
. Najpierw otwórz terminal za pomocą ctrl+ alt+ ti zainstaluj narzędzie do poprawiania za pomocą
sudo apt install gnome-tweak-tool
gnome-tweaks # now launch it
Następnie możesz uruchomić go z selektora aplikacji (tam nazwa to tylko poprawki) i nawigować w narzędziu dostosowywania do zakładki „Górny pasek” i aktywować datę i sekundy (patrz zrzut ekranu).
Chociaż może to być najłatwiejsze podejście dla zwykłego użytkownika, istnieje inna metoda, która działa. Wydając następujące polecenie terminalu, możesz ustawić to samo:
# 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
Zastępując set
z get
was może poprosić system daje rzeczywiste ustawienia. Przykład:
gsettings get org.gnome.desktop.interface clock-show-seconds
gnome-tweak-tool
to naprawdę niezbędny pakiet dla każdego, kto faktycznie używa swoich komputerów przez ponad 5 minut.
gsettings set org.gnome.desktop.interface clock-show-date true
. (Videonauth, proszę rozważyć dodanie metody gsettings
/ dconf
do odpowiedzi.)
Możesz spróbować użyć rozszerzenia powłoki GNOME o nazwie Clock override . Pozwala ci
Zastąp zegar Gnome Shell nowym wybranym formatem czasu lub tekstem.
Obsługuje format Pythonastrftime
.
%F %R