--- a/src/eric7/Preferences/__init__.py	Fri Feb 09 18:58:42 2024 +0100
+++ b/src/eric7/Preferences/__init__.py	Sat Feb 10 10:58:48 2024 +0100
@@ -1369,6 +1369,7 @@
         "MarginsFont": "Sans Serif,10,-1,5,50,0,0,0,0,0",
         "LastVirtualEnvironment": "",
         "StartWithMostRecentlyUsedEnvironment": True,
+        "CommandExecutionTimeout": 15,
     }
 
     # defaults for Qt related stuff
@@ -2891,7 +2892,7 @@
         f = QFont()
         f.fromString(Prefs.settings.value("Shell/" + key, Prefs.shellDefaults[key]))
         return f
-    elif key in ["MaxHistoryEntries"]:
+    elif key in ["MaxHistoryEntries", "CommandExecutionTimeout"]:
         return int(Prefs.settings.value("Shell/" + key, Prefs.shellDefaults[key]))
     elif key in ["HistoryStyle"]:
         return ShellHistoryStyle(