From a4248ce7fa728da33f3056c0b5114a4d8eb79990 Mon Sep 17 00:00:00 2001
From: Titouan Rigoudy <titouan.rigoudy@gmail.com>
Date: Sat, 9 Jan 2021 19:28:38 +0100
Subject: [PATCH] Improve profile auto-selection log message.

---
 style-gnome-terminal.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/style-gnome-terminal.sh b/style-gnome-terminal.sh
index 27fe6f3..179da39 100755
--- a/style-gnome-terminal.sh
+++ b/style-gnome-terminal.sh
@@ -282,7 +282,7 @@ function choose_profile() {
   if [ "${NUM_PROFILES}" -eq 1 ]; then
     PROFILE="${PROFILES[0]}"
     PROFILE_NAME=$(profile_get_name "${PROFILE}")
-    log "Found single gnome-terminal profile ${PROFILE_NAME}, using it."
+    log "Found single gnome-terminal profile named '${PROFILE_NAME}', using it."
     echo "${PROFILE}"
     return
   fi