Dove è stata spostata la configurazione in stile GTK3 del terminale gnome in Ubuntu 16.04?

In Ubuntu 14.04, ho potuto modellare l'aspetto del terminale GNOME e delle sue schede creando un file

/home/$user/.config/gtk-3.0/gtk.css

e inserendo codice CSS ad es

    TerminalWindow .notebook tab.top:active{
      padding: 0;
      border-image: none;
      background-color: #555;
    }
    [...]

Ora su Ubuntu 16.04 questo non ha alcun effetto sull'aspetto del terminale gnome.
Come posso modificare l'aspetto del terminale GNOME su Ubuntu 16.04?

gnome gtk3

— the_velour_fog
fonte

Potresti per favore menzionare il nome del tema gtk3 che stai usando? Se hai provato diversi temi gtk3, quali sono quelli? Il motivo per cui sto chiedendo è accennato qui: askubuntu.com/questions/765909/tweaking-newer-gtk3-themes

— DK Bose

A proposito, ci sono alcune differenze in "gtk3" quando si passa da 14.04 (GTK 3.10) a 16.04 (GTK 3.18).

— DK Bose

@DKBose questo è il tema predefinito. Ho provato a installare un tema una volta negli ultimi 6 anni, e nel giro di poche ore - il sistema è stato completamente bloccato, niente di niente. Il che è abbastanza sorprendente che cambiare alcune icone e oggetti cosmetici potrebbe causare un guasto catastrofico del sistema. Mi piacerebbe pensare che non fosse il tema, ma non voglio rischiare di nuovo!

— the_velour_fog

@DKBose se sei interessato al tema che ho installato che presumibilmente ha rotto il mio sistema era numix GTK ti sembra da un'altra domanda che hai provato anche tu?

— the_velour_fog

IMO, forse sei più sicuro con adwaita. Viene fornito preconfezionato con qualsiasi distro GNOME. Per impostazione predefinita, sto indovinando Ambiance. L'atmosfera nel 16.04 è ancora vecchia scuola e quindi dovresti essere in grado di modificare le cose semplicemente diversamente dal problema di Numix che ho descritto. Se non ci riesci, significa semplicemente che gli sviluppatori GNOME hanno programmato qualcosa di difficile :(

— DK Bose

Risposte:

Questo funziona per me:

/* gnome-terminal */
@define-color terminal_bg #300a24;

TerminalScreen {
    -TerminalScreen-background-darkness: 0.95;
    background-color: @terminal_bg;
    color: #fff;
}

TerminalScreenContainer .scrollbar:hover:not(.slider),
TerminalScreenContainer .scrollbar.dragging:not(.slider) {
    background-color: alpha(@scrollbar_track_color, 0.4);
}

/* Since .hovering class is not working here, we always
 use the same radius */
TerminalScreenContainer .scrollbar.slider.hovering,
TerminalScreenContainer .scrollbar.slider.dragging {
    border-radius: 1px;
}

TerminalScreenContainer .scrollbar {
    background-color: transparent;
}

TerminalWindow .notebook tab:active {
    padding: 0;
    border: none;
    background-color: #222;
}

Il codice che ho aggiunto è in fondo. Il file che ho modificato è ~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css.

Appunti:

Ho appena copiato la cartella Ambiance da /usr/share/themese l'ho rinominata in modo da non dover usare privilegi elevati durante la modifica del file.
Ho scoperto che l'utilizzo ha #555reso difficile la visualizzazione del testo nella scheda.
Ho anche cambiato il selected_fg_colorper essere sicuro di quale tema è quale ed è per questo che la barra di scorrimento non è arancione;)

— DK Bose
fonte

oh wow, bel lavoro! Attualmente sto lavorando all'impostazione delle preferenze del terminale GNOME tramite il programma gsettings di GNOME 3. una volta finito Provo il tuo codice e ti faccio sapere come è andata!

— the_velour_fog

Ho provato le cose che hai mostrato e non sta facendo nulla, mi chiedo solo come hai applicato queste modifiche? Aggiungendo l'intera struttura di cartelle hai essenzialmente creato un nuovo tema? In tal caso, ciò significa che è necessario applicare il tema nello stesso modo in cui si applica ad esempio un tema come Numixutilizzando uno strumento di modifica e selezionare il nuovo tema ORIG-Ambiancedal menu a discesa e riavviare l'applicazione, lo gnomo o la sessione utente?

— the_velour_fog

Penso che tu possa fare esattamente quello che ho fatto ma con /usr/share/themes/Ambiance/gtk-3.0/apps/gnome-terminal.css. In questo modo, non avrai il fastidio di dover cambiare tema. Certo, dovrai usare sudo nanoo qualunque cosa tu usi per modificare i file di sistema. E un backup sarebbe una buona idea. Uso la sessione Openbox di Lubuntu e non richiede l'installazione di strumenti speciali per cambiare i temi. Ho solo un elenco di temi ~/.config/gtk-3.0/settings.inicon tutti tranne uno commentato. La modifica dei temi a livello di utente è quindi solo una questione di modifica di quel file.

— DK Bose,

Per le modifiche a livello di sistema, si trova il file corrispondente /etc/gtk-3.0/.

— DK Bose,

Grazie. - upvote - anche se non risolve direttamente il problema, ha comunque buone informazioni su come modificare GTK. Darò un'occhiata e ti farò sapere se funziona. grazie

— the_velour_fog

Disconnettersi / chiudere tutti i miei programmi e accedere nuovamente dopo aver applicato il tema.
Il riferimento API GTK per GtkCssProvider (la versione dev instabile - non riesco a trovare le sezioni equivalenti per stable) spiega / conferma come GTK leggerà il codice CSS per un tema all'avvio:

Un'applicazione può far sì che GTK + analizzi un foglio di stile CSS specifico chiamando gtk_css_provider_load_from_file () e aggiungendo il provider con gtk_style_context_add_provider () o gtk_style_context_add_provider_for_screen ().
Inoltre, alcuni file verranno letti quando viene inizializzato GTK +. Innanzitutto, il file $ XDG_CONFIG_HOME / gtk-3.0 / gtk.css viene caricato se esiste.
Quindi, GTK + prova a caricare $ HOME / .themes / nome-tema / gtk-3.0 / gtk.css, tornando a datadir / share / themes / nome-tema / gtk-3.0 / gtk.css, dove nome-tema è il nome del tema corrente (vedere l'impostazione "nome tema gtk") e datadir è il prefisso configurato durante la compilazione di GTK +, a meno che non venga sovrascritto dalla variabile di ambiente GTK_DATA_PREFIX.

L'esperienza precedente suggeriva che gnome-terminal tutto ciò che dovevi fare era chiudere tutte le schede e le finestre di gnome-terminal per rendere effettive le nuove tematiche. Secondo i documenti, forse GTK doveva passare attraverso la sua inizializzazione, oppure potrebbe esserci stato un gnome-terminalprocesso ancora in esecuzione, che mi ha richiesto di disconnettermi e riconnettermi.

— the_velour_fog
fonte