gnome terminal profile

#!/bin/bash
#=======================================================================================================================
# Export and import Gnome Terminal profiles
#=======================================================================================================================

# Displays usage info and exits
# Parameters:
#   1 - error message (if any)
usage() {
  [ -z "$1" ] || echo "ERROR: $1" >&2
  echo "Usage: $0 import|export <filename>" >&2
  exit 1
}

# Prints a failure message and exits
# Parameters:
#   1 - message
err() {
  echo "ERROR: $1" >&2
  exit 2
}

#-----------------------------------------------------------------------------------------------------------------------

# Check variables
mode="$1"
filename="$2"
[[ -z "$mode"     ]] && usage "No mode specified"
[[ -z "$filename" ]] && usage "No filename specified"

# Get default profile ID
profile="$(gsettings get org.gnome.Terminal.ProfilesList default)"
profile="${profile:1:-1}" # remove leading and trailing single quotes

case "$mode" in
    # Export profile
    export)
        dconf dump "/org/gnome/terminal/legacy/profiles:/:$profile/" > "$filename"
        echo "Saved the default profile $profile in $filename"
        ;;

    # Import profile
    import)
        [[ ! -r "$filename" ]] && err "Failed to read from file $filename"
        dconf load "/org/gnome/terminal/legacy/profiles:/:$profile/" < "$filename"
        echo "Loaded $filename into the default profile $profile"
        ;;

    *)
        usage "Incorrect mode: $mode"
        ;;
esac