gnome-terminal-colors-monokai

gnome-terminal-colors-monokai copied to clipboard

the following code in install.sh ``` # newGnome=1 if the gnome-terminal version >= 3.8 if [[ ("$(echo "$gnomeVersion" | cut -d"." -f1)" = "3" && \ "$(echo "$gnomeVersion" | cut...

yawen-guan

The output format for `gnome-terminal --version` in Ubuntu 18.04 is: ``` # GNOME Terminal 3.28.2 using VTE 0.52.2 +GNUTLS -PCRE2 ``` The command at https://github.com/pricco/gnome-terminal-colors-monokai/blob/master/install.sh#L13 wrongly fetches the version as...

junaid-ali

fails to detect profiles in Ubuntu 18.04

3

something to do with gconftool-2 `This script will ask you which Gnome Terminal profile to overwrite. Please note that there is no uninstall option yet. If you do not wish...

gauravagnihotri

Doesn't work in F25

1

``` This script will ask you which Gnome Terminal profile to overwrite. Please note that there is no uninstall option yet. If you do not wish to overwrite any of...

drsn0w

Updated `/extended/palette` and `/install.sh` to fix the 'dconf write' error when setting `COLOR` to `"extended"` in `/install.sh`. I only had to remove all of the spaces in /extended/palette and expand...

ghost

I don't know why but in some folders y get bad color. 

miguelcarax

Hi. I met a problem. Can you help me? (Ubuntu 15.10 beta2 / kernel 4.2.0-11 / gnome 3.16.3) $ dconf reset -f /org/gnome/terminal/legacy/profiles:/ $ ls LICENSE.mkd README.mkd default extended install.sh...

uyu423