Scripts for setting the Monokai color set with Gnome Terminal.
Clone the git repository, then run ./install.sh
.
$ git clone git://github.com/pricco/gnome-terminal-colors-monokai.git
$ cd gnome-terminal-colors-monokai
$ ./install.sh
If you are running on Linux Mint or Ubuntu with Gnome 3.8 (or higher), do not forget to install dconf-cli if you don't already have it :
$ sudo apt-get install dconf-cli
Only the install.sh
script is compatible with Gnome-Terminal >= 3.8.
$ ./install.sh
And just follow the instructions.
Change to another profile in Gnome Terminal, then remove the Monokai profile by running:
$ rm -r ~/.gconf/apps/gnome-terminal/profiles/Monokai/
For Gnome 3.8 or higher, be sure to have the dconf-cli package installed if you are running on Ubuntu or Linux Mint and do :
$ dconf reset -f /org/gnome/terminal/legacy/profiles:/PROFILE_ID"
Replace PROFILE_ID by your profile ID (you can get it in your profile configuration in gnome-terminal).
- Sigurd Gartmann [email protected]
- Paul Thomson [email protected]
- Techlive Zheng [email protected]
- Daniel Graña [email protected]
Use the 16 colors terminal option to get VIM to look like GVIM with monokai colors.
set t_Co=16