We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4ae1401 commit 70c31f1Copy full SHA for 70c31f1
AppRun
@@ -86,7 +86,7 @@ SERVER_APP_ID="hidden.vm.id"
86
while
87
gnome-terminal --app-id "${SERVER_APP_ID}" --working-directory "${HERE}" -- \
88
bash -c "./launch-log-progress.sh \"${ENV_FILE_ARG}\" \"${LOG_FILE}\"" 2>&1 | \
89
- grep Error
+ grep "Error creating terminal"
90
do
91
error "gnome-terminal-server '${SERVER_APP_ID}' is not ready, trying again..."
92
sleep 1
0 commit comments