Chociaż wielu używa Unity, prawdą jest, że użytkowników Ubuntu Gnome jest całkiem sporo. Z pewnością wielu z was ma ten doskonały motyw dla Gnome Shell, ale to brakuje w nim szczegółów, takich jak kolor lub czcionka tekstu, którą chcemy zmienić. W tym przypadku wyjaśnimy, jak zmienić czcionkę tekstu dowolnego motywu dla Gnome Shell.
Przede wszystkim musimy mieć uzupełniające się oprogramowanie, które wraz z Gedit pomoże nam edytować tę funkcję. Więc najpierw musimy się udać witryna Gnome Extensions i zainstaluj rozszerzenie motywu użytkownika lub „rozszerzenie motywu użytkownika”. Po zainstalowaniu tej wtyczki dla Gnome musimy włączyć widok ukrytych folderów. Można to zrobić po prostu naciskając klawisze «Control + H» po otwarciu Nautilusa.
Kiedy już to mamy musimy znaleźć plik gnome-shell.css i edytuj go jako administrator. Możemy to zrobić najpierw przez Nautilusa, szukając z tego adresu / usr / share / themes. Po zlokalizowaniu folderu i pliku motywu, którego używamy, możemy otworzyć terminal i napisać:
sudo gedit /usr/share/themes/"dirección del tema"/gnome-shell.css
Teraz, gdy plik jest otwarty, musimy przejść do wejście na scenę. Ten wpis odnosi się do rdzenia tematu Gnome-Shell. W ten sposób pojawi się coś takiego
stage { font-family: Ubuntu; font-size: 9pt; color: #5c616b; }
Jeśli chcemy zmienić czcionkę tekstu, musimy zmienić «Font-Family»Jeśli chcemy zmienić kolor czcionki, musimy zmienić „kolor”, a jeśli chcemy zmienić rozmiar, musimy zmienić „rozmiar czcionki”.
W każdym razie po dokonaniu zmian zapisujemy je i zamykamy plik, a następnie zamykamy sesję i otwieramy ją ponownie, aby zmiany zostały już zastosowane.
Proces jest prosty, jak widzisz, ale musisz uważać, modyfikując tylko ten wpis i nic więcej, ponieważ możemy złamać motyw Gnome Shell, a nawet chwilowo uczynić pulpit bezużytecznym.