2017-05-19 21:43:40 +03:00
#!/usr/bin/env bash
# |
# | Convert RGB to gnome colors
# | ===========================================
2017-07-04 21:59:30 +03:00
gnome_color ( ) {
2017-05-19 21:43:40 +03:00
AA = ${ 1 : 1 : 2 }
BB = ${ 1 : 3 : 2 }
CC = ${ 1 : 5 : 2 }
echo " # ${ AA } ${ AA } ${ BB } ${ BB } ${ CC } ${ CC } "
}
2017-07-04 15:58:39 +03:00
dset( ) {
local key = " $1 " ; shift
local val = " $1 " ; shift
if [ [ " $type " = = "string" ] ] ; then
val = " ' $val ' "
fi
" $DCONF " write " $PROFILE_KEY / $key " " $val "
}
# because dconf still doesn't have "append"
dlist_append( ) {
local key = " $1 " ; shift
local val = " $1 " ; shift
local entries = " $(
{
" $DCONF " read " $key " | tr -d '[]' | tr , "\n" | fgrep -v " $val "
echo " ' $val ' "
} | head -c-1 | tr "\n" ,
) "
" $DCONF " write " $key " " [ $entries ] "
}
set_theme( ) {
dset visible-name " ' $PROFILE_NAME ' "
dset background-color " ' ${ BACKGROUND_COLOR } ' "
dset foreground-color " ' ${ FOREGROUND_COLOR } ' "
if [ ! -z " ${ BOLD_COLOR } " ] ; then
dset bold-color " ' ${ BOLD_COLOR } ' "
dset bold-color-same-as-fg "false"
else
dset bold-color " ' ${ COLOR_08 } ' "
dset bold-color-same-as-fg "true"
fi
dset use-theme-colors "false"
dset use-theme-background "false"
}
2017-05-19 21:43:40 +03:00
# |
# | Check for the terminal name and decide how to apply
# | ===========================================
2017-05-20 02:10:23 +03:00
TERMINAL = $( ps -p $( ps -p $( ps -p $$ -o ppid = ) -o ppid = ) -o args = )
2017-07-04 21:59:30 +03:00
2017-05-20 02:10:23 +03:00
if [ $TERMINAL = "pantheon-terminal" ] ; then
2017-05-19 21:43:40 +03:00
# |
# | Applying values on pantheon-terminal
# | ===========================================
gsettings set org.pantheon.terminal.settings background " ${ BACKGROUND_COLOR } "
gsettings set org.pantheon.terminal.settings foreground " ${ FOREGROUND_COLOR } "
gsettings set org.pantheon.terminal.settings cursor-color " ${ CURSOR_COLOR } "
gsettings set org.pantheon.terminal.settings palette " ${ COLOR_01 } : ${ COLOR_02 } : ${ COLOR_03 } : ${ COLOR_04 } : ${ COLOR_05 } : ${ COLOR_06 } : ${ COLOR_07 } : ${ COLOR_08 } : ${ COLOR_09 } : ${ COLOR_10 } : ${ COLOR_11 } : ${ COLOR_12 } : ${ COLOR_13 } : ${ COLOR_14 } : ${ COLOR_15 } : ${ COLOR_16 } "
2017-07-04 15:58:39 +03:00
elif [ $TERMINAL = "mate-terminal" ] ; then
# |
# | Applying values on pantheon-terminal
# | ===========================================
[ [ -z " $PROFILE_NAME " ] ] && PROFILE_NAME = "Default"
[ [ -z " $PROFILE_SLUG " ] ] && PROFILE_SLUG = ` uuidgen`
[ [ -z " $DCONF " ] ] && DCONF = dconf
BASE_DIR = /org/mate/terminal
PROFILE_DIR = " $BASE_DIR /profiles "
if [ [ -n " ` $DCONF read $BASE_DIR /global/default-profile` " ] ] ; then
DEFAULT_SLUG = ` $DCONF read $BASE_DIR /global/default-profile | tr -d \' `
else
DEFAULT_SLUG = ` $DCONF list $PROFILE_DIR / | head -n1 | tr -d \/ `
fi
DEFAULT_KEY = " $PROFILE_DIR / $DEFAULT_SLUG "
PROFILE_KEY = " $PROFILE_DIR / $PROFILE_SLUG "
# copy existing settings from default profile
dconf dump " $DEFAULT_KEY / " | dconf load " $PROFILE_KEY / "
# add new copy to list of profiles
dlist_append $PROFILE_DIR /list " $PROFILE_SLUG "
# add new copy to global list of profiles
dlist_append $BASE_DIR /global/profile-list " $PROFILE_SLUG "
set_theme
2017-07-04 16:13:51 +03:00
dset palette " ' ${ COLOR_01 } : ${ COLOR_02 } : ${ COLOR_03 } : ${ COLOR_04 } : ${ COLOR_05 } : ${ COLOR_06 } : ${ COLOR_07 } : ${ COLOR_08 } : ${ COLOR_09 } : ${ COLOR_10 } : ${ COLOR_11 } : ${ COLOR_12 } : ${ COLOR_13 } : ${ COLOR_14 } : ${ COLOR_15 } : ${ COLOR_16 } ' "
2017-07-04 16:31:42 +03:00
dset allow-bold "true"
2017-07-04 15:58:39 +03:00
exit 0
2017-05-19 21:43:40 +03:00
else
# |
# | Applying values on gnome-terminal
# | ===========================================
BACKGROUND_COLOR = $( gnome_color $BACKGROUND_COLOR )
FOREGROUND_COLOR = $( gnome_color $FOREGROUND_COLOR )
COLOR_01 = $( gnome_color $COLOR_01 )
COLOR_02 = $( gnome_color $COLOR_02 )
COLOR_03 = $( gnome_color $COLOR_03 )
COLOR_04 = $( gnome_color $COLOR_04 )
COLOR_05 = $( gnome_color $COLOR_05 )
COLOR_06 = $( gnome_color $COLOR_06 )
COLOR_07 = $( gnome_color $COLOR_07 )
COLOR_08 = $( gnome_color $COLOR_08 )
COLOR_09 = $( gnome_color $COLOR_09 )
COLOR_10 = $( gnome_color $COLOR_10 )
COLOR_11 = $( gnome_color $COLOR_11 )
COLOR_12 = $( gnome_color $COLOR_12 )
COLOR_13 = $( gnome_color $COLOR_13 )
COLOR_14 = $( gnome_color $COLOR_14 )
COLOR_15 = $( gnome_color $COLOR_15 )
COLOR_16 = $( gnome_color $COLOR_16 )
# |
# | Apply Variables
# | ===========================================
[ [ -z " $PROFILE_NAME " ] ] && PROFILE_NAME = "Default"
[ [ -z " $PROFILE_SLUG " ] ] && PROFILE_SLUG = "Default"
[ [ -z " $DCONF " ] ] && DCONF = dconf
[ [ -z " $UUIDGEN " ] ] && UUIDGEN = uuidgen
# Newest versions of gnome-terminal use dconf
if which " $DCONF " > /dev/null 2>& 1; then
[ [ -z " $BASE_KEY_NEW " ] ] && BASE_KEY_NEW = /org/gnome/terminal/legacy/profiles:
if [ [ -n " ` $DCONF list $BASE_KEY_NEW /` " ] ] ; then
if which " $UUIDGEN " > /dev/null 2>& 1; then
PROFILE_SLUG = ` uuidgen`
fi
if [ [ -n " ` $DCONF read $BASE_KEY_NEW /default` " ] ] ; then
DEFAULT_SLUG = ` $DCONF read $BASE_KEY_NEW /default | tr -d \' `
else
DEFAULT_SLUG = ` $DCONF list $BASE_KEY_NEW / | grep '^:' | head -n1 | tr -d :/`
fi
DEFAULT_KEY = " $BASE_KEY_NEW /: $DEFAULT_SLUG "
PROFILE_KEY = " $BASE_KEY_NEW /: $PROFILE_SLUG "
# copy existing settings from default profile
$DCONF dump " $DEFAULT_KEY / " | $DCONF load " $PROFILE_KEY / "
# add new copy to list of profiles
dlist_append $BASE_KEY_NEW /list " $PROFILE_SLUG "
# update profile values with theme options
2017-07-04 15:58:39 +03:00
set_theme
2017-07-04 16:13:51 +03:00
dset palette " [' ${ COLOR_01 } ', ' ${ COLOR_02 } ', ' ${ COLOR_03 } ', ' ${ COLOR_04 } ', ' ${ COLOR_05 } ', ' ${ COLOR_06 } ', ' ${ COLOR_07 } ', ' ${ COLOR_08 } ', ' ${ COLOR_09 } ', ' ${ COLOR_10 } ', ' ${ COLOR_11 } ', ' ${ COLOR_12 } ', ' ${ COLOR_13 } ', ' ${ COLOR_14 } ', ' ${ COLOR_15 } ', ' ${ COLOR_16 } '] "
2017-05-19 21:43:40 +03:00
unset PROFILE_NAME
unset PROFILE_SLUG
unset DCONF
unset UUIDGEN
exit 0
fi
fi
# Fallback for Gnome 2 and early Gnome 3
[ [ -z " $GCONFTOOL " ] ] && GCONFTOOL = gconftool
[ [ -z " $BASE_KEY " ] ] && BASE_KEY = /apps/gnome-terminal/profiles
PROFILE_KEY = " $BASE_KEY / $PROFILE_SLUG "
gset( ) {
local type = " $1 " ; shift
local key = " $1 " ; shift
local val = " $1 " ; shift
" $GCONFTOOL " --set --type " $type " " $PROFILE_KEY / $key " -- " $val "
}
# Because gconftool doesn't have "append"
glist_append( ) {
local type = " $1 " ; shift
local key = " $1 " ; shift
local val = " $1 " ; shift
local entries = " $(
{
" $GCONFTOOL " --get " $key " | tr -d '[]' | tr , "\n" | fgrep -v " $val "
echo " $val "
} | head -c-1 | tr "\n" ,
) "
" $GCONFTOOL " --set --type list --list-type $type " $key " " [ $entries ] "
}
# Append the Base16 profile to the profile list
glist_append string /apps/gnome-terminal/global/profile_list " $PROFILE_SLUG "
gset string visible_name " $PROFILE_NAME "
gset string palette " ${ COLOR_01 } : ${ COLOR_02 } : ${ COLOR_03 } : ${ COLOR_04 } : ${ COLOR_05 } : ${ COLOR_06 } : ${ COLOR_07 } : ${ COLOR_08 } : ${ COLOR_09 } : ${ COLOR_10 } : ${ COLOR_11 } : ${ COLOR_12 } : ${ COLOR_13 } : ${ COLOR_14 } : ${ COLOR_15 } : ${ COLOR_16 } "
gset string background_color " ${ BACKGROUND_COLOR } "
gset string foreground_color " ${ FOREGROUND_COLOR } "
gset string bold_color " ${ FOREGROUND_COLOR } "
gset bool bold_color_same_as_fg "true"
gset bool use_theme_colors "false"
gset bool use_theme_background "false"
unset PROFILE_NAME
unset PROFILE_SLUG
unset DCONF
unset UUIDGEN
fi