1#!/bin/bash 2 3set -Eeuo pipefail 4source /workspace/gitpod/scripts/ws-deploy.sh deployment ide-metrics false 5 6