Compare commits
3 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 70e74ab2d2 | |||
| 673554b393 | |||
| 609752e7dc |
+2
-3
@@ -161,10 +161,9 @@ RUN KLS_VERSION=$(curl -sL https://api.github.com/repos/fwcd/kotlin-language-ser
|
||||
rm /tmp/kls.zip
|
||||
|
||||
# Install jdtls (Java LSP) — Eclipse JDT Language Server
|
||||
RUN JDTLS_VERSION=$(curl -sL https://api.github.com/repos/eclipse-jdtls/eclipse.jdt.ls/releases/latest | jq -r '.tag_name' | sed 's/^v//') && \
|
||||
JDTLS_URL=$(curl -sL https://api.github.com/repos/eclipse-jdtls/eclipse.jdt.ls/releases/latest | jq -r '.assets[] | select(.name | endswith(".tar.gz")) | .browser_download_url' | head -1) && \
|
||||
RUN JDTLS_TARBALL=$(curl -sL https://download.eclipse.org/jdtls/snapshots/latest.txt) && \
|
||||
mkdir -p /opt/jdtls && \
|
||||
curl -fsSL "$JDTLS_URL" | tar -xz -C /opt/jdtls && \
|
||||
curl -fsSL "https://download.eclipse.org/jdtls/snapshots/${JDTLS_TARBALL}" | tar -xz -C /opt/jdtls && \
|
||||
printf '#!/bin/bash\nexec java -Declipse.application=org.eclipse.jdt.ls.core.id1 -Dosgi.bundles.defaultStartLevel=4 -Declipse.product=org.eclipse.jdt.ls.core.product -jar /opt/jdtls/plugins/org.eclipse.equinox.launcher_*.jar -configuration /opt/jdtls/config_linux "$@"\n' > /usr/local/bin/jdtls && \
|
||||
chmod +x /usr/local/bin/jdtls
|
||||
|
||||
|
||||
+1
-1
@@ -2,7 +2,7 @@ apiVersion: v2
|
||||
name: devcontainer
|
||||
description: Dev Container with AI coding agents and MCP sidecars
|
||||
type: application
|
||||
version: 2.5.0
|
||||
version: 2.6.0
|
||||
appVersion: "latest"
|
||||
keywords:
|
||||
- development
|
||||
|
||||
@@ -4,6 +4,13 @@ set -e
|
||||
|
||||
echo "=== Repository Initialization ==="
|
||||
|
||||
# Ensure home directory exists on the PVC before any git operations
|
||||
# (git config --global writes to $HOME/.gitconfig, which fails on a fresh volume)
|
||||
RUN_UID="${USER_ID:-1000}"
|
||||
RUN_GID="${GROUP_ID:-1000}"
|
||||
mkdir -p "$HOME"
|
||||
chown "$RUN_UID:$RUN_GID" "$HOME"
|
||||
|
||||
# Set up basic git configuration
|
||||
echo "Configuring git user settings..."
|
||||
# Use environment variables if provided, otherwise use defaults
|
||||
@@ -142,10 +149,6 @@ if [ ${#REPOS[@]} -eq 0 ]; then
|
||||
chown -R "$RUN_UID:$RUN_GID" "$WORKSPACE_DIR"
|
||||
fi
|
||||
|
||||
# Ensure home directory exists on the PVC (may be absent on a fresh volume)
|
||||
mkdir -p "$HOME"
|
||||
chown "$RUN_UID:$RUN_GID" "$HOME"
|
||||
|
||||
# Seed Claude Code settings if missing (disable auto-updater in Docker)
|
||||
if [ ! -f "$HOME/.claude/settings.json" ]; then
|
||||
mkdir -p "$HOME/.claude"
|
||||
|
||||
Reference in New Issue
Block a user