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