titouan
/
gnome-terminal-configure
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
Small command-line utility for configuring gnome-terminal.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2 Commits
1 Branch
27 KiB
 
Tree: 37e36b99dc
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '37e36b99dc'
${ noResults }
Titouan Rigoudy 37e36b99dc Copy script from dotfiles, add README. 4 years ago
LICENSE Initial commit 4 years ago
README.md Copy script from dotfiles, add README. 4 years ago
gnome-terminal-configure.sh Copy script from dotfiles, add README. 4 years ago

README.md

gnome-terminal-configure

A small command-line utility to configure gnome-terminal.

Allows setting the main style properties of the terminal: font and colors. It could be extended to cover a few other properties with a little more work, but it works well enough for my purposes as is.

Settings can be backed up to a simple file format, then restored. This allows defining and sharing simple color schemes for the terminal beyond the list of default schemes supported natively.

Usage

USAGE: ./gnome-terminal-configure.sh SUBCOMMAND

Where SUBCOMMAND can be one of:

  list
    Lists the available gnome-terminal profiles.

  get [profile PROFILE_ID] PROPERTY
    Displays the given gnome-terminal profile property.

  set [profile PROFILE_ID] PROPERTY VALUE
    Sets the given gnome-terminal profile property to the given value.

  dump [profile PROFILE_ID]
    Dumps the given gnome-terminal as a configuration file to stdout.

  apply [profile PROFILE_ID] FILE
    Applies the gnome-terminal configuration file.