Am gasit o solutie pe acest site: https://joshtronic.com/2017/07/26/hide-title-bars-in-gnome-shell/
Copiați acest cod de pe site și inserați în ~/.config/gtk-3.0/gtk.css (deschideți asta cu gedit sau nano (am folosit gedit)).
După aceea, salvați și puteți închide acele ferestre (gedit) și prefer să deschizi un terminal nou. După ce ați făcut acea parte, în shell (terminal) lipiți acest cod:
gsettings set org.gnome.Terminal.Legacy.Settings headerbar „@mb false”
(aceasta comandă este și pe acel site), după aceea faceți ALT + F2 și puneți ultimul „r” în linia de comandă, faceți clic pe ENTER. Asta mi-a rezolvat problema.
Trebuie doar să deschideți un nou terminal și să vedeți dacă a funcționat.
^ Dacă acest lucru nu funcționează, deschideți terminalul și lipiți acele comenzi:
sudo apt install gnome-shell-extension-pixelsaver
gnome-extensions activează [email protected]
gsettings set org.gnome.Terminal.Legacy.Settings headerbar false
-și după aceea mergeți la ~/.config/gtk-3.0/gtk.css dacă lipiți codul care dispare, copiați-l și lipiți-l din nou. Din nou, rulați linia de comandă:
gsettings set org.gnome.Terminal.Legacy.Settings headerbar „@mb false”
Și după aceea faceți ALT+F2 și în linia de comandă puneți ultimul r și faceți clic pe ENTER.
Trebuie doar să deschideți un nou terminal și să vedeți dacă a funcționat.
Sper că asta i-a ajutat pe unii. O zi bună tuturor! :)
Raspuns de la:
-epeu