Linux (terminal): Add Gnome solarized colors