mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
25 lines
603 B
Bash
Executable File
25 lines
603 B
Bash
Executable File
#!/bin/bash
|
|
# Copyright (c) 2023 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 -Eeuo pipefail
|
|
|
|
DIR="$(dirname "$(realpath "$0")")"
|
|
COMPONENT="$(basename "$DIR")"
|
|
cd "$DIR"
|
|
|
|
# build
|
|
go build .
|
|
echo "$COMPONENT built"
|
|
|
|
DIST_COMPONENT="jb-launcher"
|
|
mv "$COMPONENT" "$DIST_COMPONENT"
|
|
echo "rename $COMPONENT to $DIST_COMPONENT"
|
|
COMPONENT="$DIST_COMPONENT"
|
|
|
|
DEST="/ide-desktop"
|
|
sudo rm -rf "$DEST/$COMPONENT" && true
|
|
sudo mv ./"$COMPONENT" "$DEST"
|
|
echo "$COMPONENT in $DEST replaced"
|