Tag Info

New answers tagged

1

The base16-default.dark.sh script in base16-gnome-terminal installs the Base 16 Default Dark profile for the Gnome terminal. In order to actually use it, you need to activate the profile via Terminal → Change Profile → Base 16 Default Dark which applies the profile to the current session. You probably want to use it as default profile. In order to do that, ...


1

I found a blog post that suggests writing your own wrapper for the aptitude (or apt-get) commands and using grep with the color option to highlight some keywords. It works for me, though the approach is certainly limited.


1

This is related to which color scheme you choose in Font & color prefrences of your gedit. For me I choose Classic Now to see how it highlights open the xml of the color scheme gedit /usr/share/gtksourceview-3.0/styles/classic.xml Here is a sample of output: <!-- Bracket Matching --> <style name="bracket-match" ...



Top 50 recent answers are included