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.
330 lines
8.3 KiB
330 lines
8.3 KiB
#!/bin/bash
|
|
# vim: tw=80 ts=2 sw=2:
|
|
|
|
set -eu
|
|
|
|
# CONSTANTS
|
|
# =========
|
|
|
|
PROGRAM_NAME="$0"
|
|
|
|
# DConf directory in which gnome-terminal profile configuration is stored.
|
|
ROOT_DCONF_DIR='/org/gnome/terminal/legacy/profiles:/'
|
|
|
|
# The names of ANSI color properties in config files.
|
|
# Order matters. These correspond to the ANSI color codes.
|
|
ANSI_COLOR_PROPERTIES=(
|
|
"ansi-colors-black"
|
|
"ansi-colors-red"
|
|
"ansi-colors-green"
|
|
"ansi-colors-yellow"
|
|
"ansi-colors-blue"
|
|
"ansi-colors-purple"
|
|
"ansi-colors-cyan"
|
|
"ansi-colors-white"
|
|
"ansi-colors-bright-black"
|
|
"ansi-colors-bright-red"
|
|
"ansi-colors-bright-green"
|
|
"ansi-colors-bright-yellow"
|
|
"ansi-colors-bright-blue"
|
|
"ansi-colors-bright-purple"
|
|
"ansi-colors-bright-cyan"
|
|
"ansi-colors-bright-white"
|
|
)
|
|
|
|
# LOGGING
|
|
# =======
|
|
|
|
# log ARGS...
|
|
# echo for stderr
|
|
function log() {
|
|
echo 1>&2 "$@"
|
|
}
|
|
|
|
# die ARGS...
|
|
# log then exit with an error code
|
|
function die() {
|
|
log "$@"
|
|
exit 1
|
|
}
|
|
|
|
|
|
# CONFIG
|
|
# ======
|
|
#
|
|
# Configuration files have a very basic grammar:
|
|
#
|
|
# PROPERTY_NAME = VALUE
|
|
#
|
|
# The functions below allow reading config file contents.
|
|
|
|
# config_get_property FILE PROPERTY
|
|
# Echoes the given property from the given config file.
|
|
function config_get_property() {
|
|
FILE="$1"
|
|
PROPERTY="$2"
|
|
|
|
sed -n "s:^${PROPERTY} *= *\(\.*\):\1:p" < "${FILE}"
|
|
}
|
|
|
|
# config_get_property_or_die FILE PROPERTY
|
|
# config_get_property, except dies if the property is not found.
|
|
function config_get_property_or_die() {
|
|
FILE="$1"
|
|
PROPERTY="$2"
|
|
|
|
RESULT=$(config_get_property "${FILE}" "${PROPERTY}")
|
|
if [ -z "$RESULT" ]; then
|
|
die "Error: cannot find property '${PROPERTY}' in file '${FILE}'."
|
|
fi
|
|
|
|
echo "${RESULT}"
|
|
}
|
|
|
|
# config_get_font FILE
|
|
function config_get_font() {
|
|
FILE="$1"
|
|
config_get_property "${FILE}" "font"
|
|
}
|
|
|
|
# config_get_foreground_color FILE
|
|
function config_get_foreground_color() {
|
|
FILE="$1"
|
|
config_get_property "${FILE}" "foreground-color"
|
|
}
|
|
|
|
# config_get_background_color FILE
|
|
function config_get_background_color() {
|
|
FILE="$1"
|
|
config_get_property "${FILE}" "background-color"
|
|
}
|
|
|
|
# join_ansi_colors COLOR1 ... COLOR16
|
|
# Echoes "[${COLOR1}, ..., ${COLOR16}]".
|
|
function join_ansi_colors () {
|
|
echo -n "[$1"
|
|
for i in {2..16}; do
|
|
echo -n ", ${!i}" # Get the i-th argument to this function.
|
|
done
|
|
echo "]"
|
|
}
|
|
|
|
# config_get_ansi_colors FILE
|
|
function config_get_ansi_colors() {
|
|
FILE="$1"
|
|
|
|
ANSI_COLORS=()
|
|
for PROPERTY in "${ANSI_COLOR_PROPERTIES[@]}"; do
|
|
COLOR=$(config_get_property_or_die "${FILE}" "${PROPERTY}")
|
|
ANSI_COLORS+=("${COLOR}")
|
|
done
|
|
|
|
join_ansi_colors "${ANSI_COLORS[@]}"
|
|
}
|
|
|
|
|
|
# PROFILE
|
|
# =======
|
|
#
|
|
# Gnome-terminal profile preferences are read and written through dconf.
|
|
#
|
|
# In the following functions, profiles are referenced by their dconf directory
|
|
# paths (ending in a '/' character).
|
|
|
|
# profile_get_property PROFILE PROPERTY
|
|
# Echoes the given property from the given gnome-terminal profile.
|
|
function profile_get_property() {
|
|
PROFILE="$1"
|
|
PROPERTY="$2"
|
|
|
|
dconf read "${PROFILE}${PROPERTY}"
|
|
}
|
|
|
|
# profile_set_property PROFILE PROPERTY VALUE
|
|
# Sets the given profile's given property to the given value.
|
|
function profile_set_property() {
|
|
PROFILE="$1"
|
|
PROPERTY="$2"
|
|
VALUE="$3"
|
|
|
|
dconf write "${PROFILE}${PROPERTY}" "${VALUE}"
|
|
}
|
|
|
|
# profile_get_name PROFILE
|
|
# Echoes the human-readable name for the given gnome-terminal profile.
|
|
function profile_get_name() {
|
|
PROFILE="$1"
|
|
profile_get_property "${PROFILE}" "visible-name"
|
|
}
|
|
|
|
# profile_set_name PROFILE VALUE
|
|
# Sets the human-readable name for the given gnome-terminal profile.
|
|
function profile_set_name() {
|
|
PROFILE="$1"
|
|
VALUE="$2"
|
|
profile_set_property "${PROFILE}" "visible-name" "${VALUE}"
|
|
}
|
|
|
|
# profile_get_font PROFILE
|
|
# Echoes the font for the given gnome-terminal profile.
|
|
function profile_get_font() {
|
|
PROFILE="$1"
|
|
profile_get_property "${PROFILE}" "font"
|
|
}
|
|
|
|
# profile_set_font PROFILE VALUE
|
|
# Sets the font for the given gnome-terminal profile.
|
|
function profile_set_font() {
|
|
PROFILE="$1"
|
|
VALUE="$2"
|
|
profile_set_property "${PROFILE}" "font" "${VALUE}"
|
|
}
|
|
|
|
# profile_get_foreground_color PROFILE
|
|
# Echoes the foreground color for the given gnome-terminal profile.
|
|
function profile_get_foreground_color() {
|
|
PROFILE="$1"
|
|
profile_get_property "${PROFILE}" "foreground-color"
|
|
}
|
|
|
|
# profile_set_foreground_color PROFILE VALUE
|
|
# Sets the foreground color for the given gnome-terminal profile.
|
|
function profile_set_foreground_color() {
|
|
PROFILE="$1"
|
|
VALUE="$2"
|
|
profile_set_property "${PROFILE}" "foreground-color" "${VALUE}"
|
|
}
|
|
|
|
# profile_get_background_color PROFILE
|
|
# Echoes the background color for the given gnome-terminal profile.
|
|
function profile_get_background_color() {
|
|
PROFILE="$1"
|
|
profile_get_property "${PROFILE}" "background_color"
|
|
}
|
|
|
|
# profile_set_background_color PROFILE VALUE
|
|
# Sets the background color for the given gnome-terminal profile.
|
|
function profile_set_background_color() {
|
|
PROFILE="$1"
|
|
VALUE="$2"
|
|
profile_set_property "${PROFILE}" "background-color" "${VALUE}"
|
|
}
|
|
|
|
# profile_get_ansi_colors PROFILE
|
|
# Echoes the ANSI color palette for the given gnome-terminal profile.
|
|
function profile_get_ansi_colors() {
|
|
PROFILE="$1"
|
|
profile_get_property "${PROFILE}" "palette"
|
|
}
|
|
|
|
# profile_set_ansi_colors PROFILE VALUE
|
|
# Sets the ANSI color palette for the given gnome-terminal profile.
|
|
function profile_set_ansi_colors() {
|
|
PROFILE="$1"
|
|
VALUE="$2"
|
|
profile_set_property "${PROFILE}" "palette" "${VALUE}"
|
|
}
|
|
|
|
# profile_apply_config PROFILE CONFIG_FILE
|
|
# Applies the given configuration to the given gnome-terminal profile.
|
|
function profile_apply_config() {
|
|
PROFILE="$1"
|
|
CONFIG_FILE="$2"
|
|
|
|
FONT=$(config_get_font "${CONFIG_FILE}")
|
|
FOREGROUND_COLOR=$(config_get_foreground_color "${CONFIG_FILE}")
|
|
BACKGROUND_COLOR=$(config_get_background_color "${CONFIG_FILE}")
|
|
ANSI_COLORS=$(config_get_ansi_colors "${CONFIG_FILE}")
|
|
|
|
profile_set_font "${PROFILE}" "${FONT}"
|
|
profile_set_foreground_color "${PROFILE}" "${FOREGROUND_COLOR}"
|
|
profile_set_background_color "${PROFILE}" "${BACKGROUND_COLOR}"
|
|
profile_set_ansi_colors "${PROFILE}" "${ANSI_COLORS}"
|
|
}
|
|
|
|
# INTERACTIVE USE
|
|
# ===============
|
|
|
|
# choose_number BASE_PROMPT MIN MAX
|
|
# Asks the user to choose a number between MIN and MAX, inclusive.
|
|
# BASE_PROMPT should not end in a newline.
|
|
function choose_number() {
|
|
PROMPT="$1"
|
|
MIN_NUMBER="$2"
|
|
MAX_NUMBER="$3"
|
|
|
|
while true; do
|
|
read -p "$1 [${MIN_NUMBER} to ${MAX_NUMBER}]: " CHOSEN_NUMBER
|
|
if [ "${CHOSEN_NUMBER}" -lt "${MIN_NUMBER}" ]; then
|
|
continue
|
|
fi
|
|
if [ "${CHOSEN_NUMBER}" -gt "${MAX_NUMBER}" ]; then
|
|
continue
|
|
fi
|
|
|
|
echo "${CHOSEN_NUMBER}"
|
|
break
|
|
done
|
|
}
|
|
|
|
# choose_profile
|
|
# Echoes the path to a valid gnome-terminal profile to modify.
|
|
function choose_profile() {
|
|
# Build an array of profile subdirectories.
|
|
PROFILES=()
|
|
for PROFILE_SUBDIR in $(dconf list "${ROOT_DCONF_DIR}"); do
|
|
PROFILES+=("${ROOT_DCONF_DIR}${PROFILE_SUBDIR}")
|
|
done
|
|
NUM_PROFILES="${#PROFILES[@]}"
|
|
|
|
if [ "${NUM_PROFILES}" -eq 0 ]; then
|
|
die "Error: found no gnome-terminal profiles to style."
|
|
fi
|
|
|
|
if [ "${NUM_PROFILES}" -eq 1 ]; then
|
|
PROFILE="${PROFILES[0]}"
|
|
PROFILE_NAME=$(profile_get_name "${PROFILE}")
|
|
log "Found single gnome-terminal profile named '${PROFILE_NAME}', using it."
|
|
echo "${PROFILE}"
|
|
return
|
|
fi
|
|
|
|
log "Available gnome-terminal profiles:"
|
|
|
|
for i in $(seq 1 "${NUM_PROFILES}"); do
|
|
PROFILE="${PROFILES[$(($i - 1))]}"
|
|
PROFILE_NAME=$(profile_get_name "${PROFILE}")
|
|
log " #$i: ${PROFILE_NAME}"
|
|
done
|
|
|
|
choose_number "Choose a profile" 1 "${NUM_PROFILES}"
|
|
}
|
|
|
|
function main() {
|
|
if [ "$#" -le 0 ]; then
|
|
die "USAGE: ${PROGRAM_NAME} CONFIG_FILE"
|
|
fi
|
|
|
|
# TODO: Subcommands:
|
|
#
|
|
# gnome-terminal-configure list
|
|
#
|
|
# gnome-terminal-configure get [profile NAME_OR_ID] font
|
|
# gnome-terminal-configure get [profile NAME_OR_ID] foreground-color
|
|
# gnome-terminal-configure get [profile NAME_OR_ID] background-color
|
|
# gnome-terminal-configure get [profile NAME_OR_ID] ansi-colors
|
|
#
|
|
# gnome-terminal-configure set [profile NAME_OR_ID] font FONT
|
|
# gnome-terminal-configure set [profile NAME_OR_ID] foreground-color COLOR
|
|
# gnome-terminal-configure set [profile NAME_OR_ID] background-color COLOR
|
|
# gnome-terminal-configure set [profile NAME_OR_ID] ansi-colors ANSI_COLORS
|
|
#
|
|
# gnome-terminal-configure dump [profile NAME_OR_ID]
|
|
# gnome-terminal-configure apply [profile NAME_OR_ID]
|
|
|
|
CONFIG_FILE="$1"
|
|
PROFILE=$(choose_profile)
|
|
profile_apply_config "${PROFILE}" "${CONFIG_FILE}"
|
|
}
|
|
|
|
main "$@"
|