feat: change name from analytics-backend-workspace to workspaces
This commit is contained in:
parent
cae2b53209
commit
63fa06ee66
@ -149,9 +149,9 @@ validate_command "$PERSON" "$cmd" "${args[@]}"
|
|||||||
case "$cmd" in
|
case "$cmd" in
|
||||||
build)
|
build)
|
||||||
case "${args[0]}" in
|
case "${args[0]}" in
|
||||||
base) podman build --target base -t analytics-backend-base . ;;
|
base) podman build --target base -t workspaces-base . ;;
|
||||||
workspace) podman build --target workspace -t analytics-backend-workspace . ;;
|
workspace) podman build --target workspace -t workspaces . ;;
|
||||||
all) podman build -t analytics-backend-workspace . ;;
|
all) podman build -t workspaces . ;;
|
||||||
*) log ERROR "build: invalid arg '${args[0]}'" ;;
|
*) log ERROR "build: invalid arg '${args[0]}'" ;;
|
||||||
esac
|
esac
|
||||||
;;
|
;;
|
||||||
|
@ -3,7 +3,7 @@ set -euo pipefail
|
|||||||
|
|
||||||
PERSON="${1:?Usage: $0 <person>}"
|
PERSON="${1:?Usage: $0 <person>}"
|
||||||
WORKSPACE="${SSH_ORIGINAL_COMMAND:-}"
|
WORKSPACE="${SSH_ORIGINAL_COMMAND:-}"
|
||||||
IMAGE="localhost/analytics-backend-workspace:latest"
|
IMAGE="localhost/workspaces:latest"
|
||||||
DEV_USER="devuser"
|
DEV_USER="devuser"
|
||||||
XDG_RUNTIME_DIR="/run/user/$(id -u)"
|
XDG_RUNTIME_DIR="/run/user/$(id -u)"
|
||||||
LOG_FILE="/tmp/.ssh-router-${PERSON}.log"
|
LOG_FILE="/tmp/.ssh-router-${PERSON}.log"
|
||||||
@ -45,7 +45,7 @@ if [[ -z "$WORKSPACE" ]]; then
|
|||||||
WORKSPACE="$PERSON"
|
WORKSPACE="$PERSON"
|
||||||
log INFO "Defaulted WORKSPACE → $WORKSPACE"
|
log INFO "Defaulted WORKSPACE → $WORKSPACE"
|
||||||
fi
|
fi
|
||||||
TMUX_SESSION="${WORKSPACE}|analytics-backend"
|
TMUX_SESSION="${WORKSPACE}|workspace"
|
||||||
|
|
||||||
# ─────────────────────────────────────────────
|
# ─────────────────────────────────────────────
|
||||||
# Ensure Podman socket is up
|
# Ensure Podman socket is up
|
||||||
|
Loading…
x
Reference in New Issue
Block a user