diff options
author | jakob.stendahl <jakob.stendahl@infomedia.dk> | 2023-10-10 07:56:02 +0200 |
---|---|---|
committer | jakob.stendahl <jakob.stendahl@infomedia.dk> | 2023-10-10 07:56:17 +0200 |
commit | 643fdee5981c72dd5e972d3158806e90ae4b420f (patch) | |
tree | f322414b61e4c59061bcefb00f80b7b3be1d6b87 /bin/devcontainer | |
parent | 5cfffcdc264e62f2b1680620774e34d9f60a4d4e (diff) | |
download | dotfiles-643fdee5981c72dd5e972d3158806e90ae4b420f.tar.gz dotfiles-643fdee5981c72dd5e972d3158806e90ae4b420f.zip |
Do some changes, switch to alacritty, etc
Diffstat (limited to 'bin/devcontainer')
-rwxr-xr-x | bin/devcontainer | 84 |
1 files changed, 0 insertions, 84 deletions
diff --git a/bin/devcontainer b/bin/devcontainer deleted file mode 100755 index 6a48b6f..0000000 --- a/bin/devcontainer +++ /dev/null @@ -1,84 +0,0 @@ -#!/bin/bash - -if ! [ -x "$(command -v jq)" ]; then - printf "\x1B[31m[ERROR] jq is not installed.\x1B[0m\n" - exit 1 -fi -OPTIND=1 -VERBOSE=0 - -while getopts "v" opt; do - case ${opt} in - v ) VERBOSE=1 ;; - esac -done - -debug() { - if [ $VERBOSE == 1 ]; then - printf "\x1B[33m[DEBUG] ${1}\x1B[0m\n" - fi -} - -WORKSPACE=${1:-`pwd`} -CURRENT_DIR=${PWD##*/} -echo "Using workspace ${WORKSPACE}" - -CONFIG_DIR=./.devcontainer -debug "CONFIG_DIR: ${CONFIG_DIR}" -CONFIG_FILE=devcontainer.json -debug "CONFIG_FILE: ${CONFIG_FILE}" -if ! [ -e "$CONFIG_DIR/$CONFIG_FILE" ]; then - echo "Folder contains no devcontainer configuration" - exit -fi - -CONFIG=$(cat $CONFIG_DIR/$CONFIG_FILE | grep -v //) -debug "CONFIG: \n${CONFIG}" - -cd $CONFIG_DIR - -DOCKER_FILE=$(echo $CONFIG | jq -r .dockerFile) -if [ "$DOCKER_FILE" == "null" ]; then - DOCKER_FILE=$(echo $CONFIG | jq -r .build.dockerfile) -fi -DOCKER_FILE=$(readlink -f $DOCKER_FILE) -debug "DOCKER_FILE: ${DOCKER_FILE}" -if ! [ -e $DOCKER_FILE ]; then - echo "Can not find dockerfile ${DOCKER_FILE}" - exit -fi - -NAME=$(echo $CONFIG | jq -r .name) -debug "NAME: ${NAME}" - -REMOTE_USER=$(echo $CONFIG | jq -r .remoteUser) -debug "REMOTE_USER: ${REMOTE_USER}" -if ! [ "$REMOTE_USER" == "null" ]; then - REMOTE_USER="-u ${REMOTE_USER}" -fi - -ARGS=$(echo $CONFIG | jq -r '.build.args | to_entries? | map("--build-arg \(.key)=\"\(.value)\"")? | join(" ")') -debug "ARGS: ${ARGS}" - -SHELL=$(echo $CONFIG | jq -r '.settings."terminal.integrated.shell.linux"') -debug "SHELL: ${SHELL}" - -PORTS=$(echo $CONFIG | jq -r '.forwardPorts | map("-p \(.):\(.)")? | join(" ")') -debug "PORTS: ${PORTS}" - -ENVS=$(echo $CONFIG | jq -r '.remoteEnv | to_entries? | map("-e \(.key)=\(.value)")? | join(" ")') -debug "ENVS: ${ENVS}" - -WORK_DIR="/workspace" -debug "WORK_DIR: ${WORK_DIR}" - -MOUNT="${MOUNT} --mount type=bind,source=${WORKSPACE},target=${WORK_DIR}" -debug "MOUNT: ${MOUNT}" - -echo "Building and starting container" -set -x -DOCKER_IMAGE_HASH=$(docker build -t devcontainer -f $DOCKER_FILE $ARGS .) -debug "DOCKER_IMAGE_HASH: ${DOCKER_IMAGE_HASH}" - -#docker run -it $REMOTE_USER $PORTS $ENVS $MOUNT -w $WORK_DIR $DOCKER_IMAGE_HASH $SHELL -docker run -it $PORTS $ENVS $MOUNT -w $WORK_DIR devcontainer $SHELL |