mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
14 lines
396 B
Bash
Executable File
14 lines
396 B
Bash
Executable File
#!/bin/bash -li
|
|
# Copyright (c) 2021 Gitpod GmbH. All rights reserved.
|
|
# Licensed under the GNU Affero General Public License (AGPL).
|
|
# See License-AGPL.txt in the project root for license information.
|
|
|
|
set -euo pipefail
|
|
|
|
# kill background jobs when the script exits
|
|
trap "jobs -p | xargs -r kill" SIGINT SIGTERM EXIT
|
|
|
|
/ide-desktop/status "$1" "$2" "$3"
|
|
|
|
echo "Desktop IDE startup script exited"
|