Merge branch 'main' into feat/keystore-signer

Author: parkan

.devcontainer/Dockerfile

@@ -29,10 +29,10 @@ COPY --from=ghcr.io/foundry-rs/foundry:latest /usr/local/bin/anvil /usr/local/bi
 # prepare user-owned data dirs for rootless startup
 RUN mkdir -p /home/vscode/.local/share/pg/pgdata \
     && mkdir -p /home/vscode/.local/share/mysql \
+    && mkdir -p /home/vscode/.local/share/tmp \
     && chown -R vscode:vscode /home/vscode/.local/share
 
 # Set environment variables based on build args
 ENV PG_BIN_DIR=/usr/lib/postgresql/${PG_MAJOR}/bin
 
 USER vscode
-

.devcontainer/devcontainer.json

@@ -35,11 +35,12 @@
         "MYSQL_USER": "singularity",
         "MYSQL_PASSWORD": "singularity",
         "MYSQL_SOCKET": "/home/vscode/.local/share/mysql/mysql.sock",
+        "TMPDIR": "/home/vscode/.local/share/tmp",
+        "GOTMPDIR": "/home/vscode/.local/share/tmp",
         "PGDATA": "/home/vscode/.local/share/pg/pgdata",
         "PGPORT": "55432",
         "PGSOCK_DIR": "/home/vscode/.local/share/pg"
     },
     "runArgs": ["--userns=keep-id"],
     "containerUser": "vscode"
 }
-

.devcontainer/post-create.sh

@@ -10,7 +10,7 @@ chmod +x .devcontainer/*.sh || true
 echo "Setting up databases..."
 
 # Create data directories
-mkdir -p /home/vscode/.local/share/pg/pgdata /home/vscode/.local/share/pg /home/vscode/.local/share/mysql/data /home/vscode/.local/share/mysql
+mkdir -p /home/vscode/.local/share/pg/pgdata /home/vscode/.local/share/pg /home/vscode/.local/share/mysql/data /home/vscode/.local/share/mysql/tmp /home/vscode/.local/share/mysql /home/vscode/.local/share/tmp
 
 # Initialize Postgres
 if [ ! -f "/home/vscode/.local/share/pg/pgdata/PG_VERSION" ]; then
@@ -27,7 +27,12 @@ fi
 # Initialize MariaDB
 if [ ! -d "/home/vscode/.local/share/mysql/data/mysql" ]; then
   echo "Initializing MariaDB..."
-  mariadb-install-db --datadir=/home/vscode/.local/share/mysql/data --auth-root-authentication-method=normal --skip-test-db >/dev/null
+  export TMPDIR=/home/vscode/.local/share/mysql/tmp
+  mariadb-install-db \
+    --datadir=/home/vscode/.local/share/mysql/data \
+    --tmpdir=/home/vscode/.local/share/mysql/tmp \
+    --auth-root-authentication-method=normal \
+    --skip-test-db >/dev/null
 fi
 
 # Start both servers
@@ -51,5 +56,3 @@ FLUSH PRIVILEGES;
 SQL
 
 echo "Database setup completed successfully"
-
-

.devcontainer/start-mysql.sh

@@ -4,6 +4,7 @@ set -euo pipefail
 # MariaDB server configuration
 MYSQL_BASE="${HOME}/.local/share/mysql"
 DATA_DIR="${MYSQL_BASE}/data"
+TMP_DIR="${MYSQL_BASE}/tmp"
 SOCKET="${MYSQL_SOCKET:-${MYSQL_BASE}/mysql.sock}"
 PID_FILE="${MYSQL_BASE}/mysql.pid"
 PORT="${MYSQL_PORT:-3306}"
@@ -17,9 +18,11 @@ fi
 
 # Start MariaDB server
 echo "Starting MySQL server"
+mkdir -p "${TMP_DIR}"
 touch "${LOG_FILE}"
 nohup mariadbd \
   --datadir="${DATA_DIR}" \
+  --tmpdir="${TMP_DIR}" \
   --socket="${SOCKET}" \
   --pid-file="${PID_FILE}" \
   --bind-address=127.0.0.1 \
@@ -44,4 +47,4 @@ if [ -f "${LOG_FILE}" ]; then
   tail -n 200 "${LOG_FILE}" || true
   echo "--- End MariaDB error log ---"
 fi
-exit 1
+exit 1