From 8027fc207c95e77ab66a65aa6162ff2ddd8abfbc Mon Sep 17 00:00:00 2001
From: John Mertz <git@john.me.tz>
Date: Mon, 12 Dec 2022 22:59:57 -0500
Subject: [PATCH] Error timeout when opening default gnome terminal profile

---
 distrobox/invalid-terminal.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 distrobox/invalid-terminal.sh

diff --git a/distrobox/invalid-terminal.sh b/distrobox/invalid-terminal.sh
new file mode 100755
index 0000000..5dab9c8
--- /dev/null
+++ b/distrobox/invalid-terminal.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+echo "Invalid terminal session. Please use hotkeys to access an existing Distrobox or Host Terminal."
+echo ""
+echo "Available Distrobox sessions, with matching gnome-terminal profiles, are:"
+echo ""
+distrobox list | grep -v 'IMAGE' | cut -d '|' -f 2
+for i in 10 9 8 7 6 5 4 3 2 1; do
+	printf "\rExitting in $i ..."
+	sleep 1
+done
+echo ""
+exit