From 133be201190dc6ba2ce0337ae314f6c79a26ede7 Mon Sep 17 00:00:00 2001
From: Titouan Rigoudy <titouan.rigoudy@gmail.com>
Date: Tue, 12 Jan 2021 09:33:27 +0100
Subject: [PATCH] Fix explicit profile selection.

---
 gnome-terminal-configure.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/gnome-terminal-configure.sh b/gnome-terminal-configure.sh
index 1489473..ce40d24 100755
--- a/gnome-terminal-configure.sh
+++ b/gnome-terminal-configure.sh
@@ -132,9 +132,15 @@ function config_get_ansi_colors() {
 # In the following functions, profiles are referenced by their dconf directory
 # paths (ending in a '/' character).
 
+# profile_path ID
+function profile_path() {
+  id="$1"
+  echo "${ROOT_DCONF_DIR}:${id}/"
+}
+
 # profile_list
 function profile_list() {
-  dconf list "${ROOT_DCONF_DIR}" | sed 's_:\(.*\)/_\1_'
+  dconf list "${ROOT_DCONF_DIR}" | sed -nE 's_^:(.*)/$_\1_p'
 }
 
 # profile_get_property PROFILE PROPERTY
@@ -505,7 +511,7 @@ function main() {
       usage "expected profile ID after 'profile' keyword."
     fi
 
-    PROFILE="$2"
+    PROFILE=$(profile_path "$2")
     shift 2
   else
     PROFILE=$(choose_profile)