5 Commits

Author SHA1 Message Date
octoturge 93721b9096 web: install Google Chrome for the Browse Lite extension
Provision Coder Templates / provision (push) Successful in 2m22s
Browse Lite (antfu.browse-lite, kept in the earlier Open VSX audit)
launches an embedded browser preview via a real Chrome/Chromium binary,
which templates/web's image never provided - it failed with "No Chrome
installation found, or no Chrome executable set in the settings".

Ubuntu's own chromium-browser apt package is a snap wrapper and doesn't
work in a container, so this installs Google Chrome's official .deb
instead (amd64 only, matching this repo's single x86_64 Docker host).
Also points browse-lite.chromeExecutable at it explicitly rather than
relying on auto-detection.

Verified the new apt-key/repo/install layer builds cleanly in isolation
on octo-winsrv (google-chrome-stable 152.0.7977.64).
2026-08-26 23:57:51 +02:00
octoturge 013567f02a feat: base git/gnupg install + auto SSH/GPG key setup for external git
Provision Coder Templates / provision (push) Successful in 2m11s
- Every template's coder_agent startup script now unconditionally
  installs git and gnupg as base packages (guarded on `command -v`, so
  it's a fast no-op where already present, e.g. templates/web's baked
  image). Not every base image ships gnupg by default.

- cli-setup-wizard.sh (all 6 templates) now tracks whether the user
  actually ended up authenticated against GitHub and/or Gitea via the
  existing gh/tea install-and-login prompts. If at least one succeeded,
  it asks once more whether to auto-generate an SSH key (ed25519) and a
  GPG signing key (ed25519, quick-gen) and register them with whichever
  host(s) are in play - stays completely silent for "local git only"
  (neither gh nor tea set up).

  - GitHub: `gh ssh-key add` / `gh gpg-key add` (official gh CLI
    subcommands).
  - Gitea: direct calls against `/api/v1/user/keys` and
    `/api/v1/user/gpg_keys`, reusing the token `tea login add` already
    stored in tea's config.yml (parsed with a small awk extractor).
  - Either upload failing (already added, API shape mismatch, etc.)
    just prints the manual command/URL and moves on - never blocks the
    rest of the wizard, consistent with every other step's style.
  - git is configured to sign commits with the new key
    (user.signingkey + commit.gpgsign) once a GPG key exists, whether
    freshly generated or already present from a prior run.

README updated to document both additions.
2026-08-26 23:16:25 +02:00
octoturge e8a8f93f9d fix: strip extension IDs unresolvable via Open VSX from all profiles
Provision Coder Templates / provision (push) Successful in 2m3s
code-server installs extensions from Open VSX by default (not the MS
Marketplace), and treats a single not-found extension as fatal to
startup - one bad ID in a profile takes the whole workspace down, as
seen live across two prior fixes for templates/web alone.

Checked every extension ID in all 6 templates against the Open VSX API
and dropped whichever 404'd:
- web: 91 -> 55 (mostly Pug/Tailwind-ecosystem extensions never
  published to Open VSX, plus the 5 private octoturge.octoturge-*
  devpacks, which can't resolve via any public registry)
- cobol: 27 -> 16 (rocketsoftware.rocket-cobol and Microsoft
  IntelliCode/Remote-Containers, license-restricted to the MS
  Marketplace, among others)
- python: 12 -> 8 (ms-python.vscode-pylance and the Remote-* family,
  also MS-Marketplace-only by license)
- 3d-printing: 34 -> 24
- default and ttrpg: no changes needed, already clean

octoturge's private devpacks aren't republished anywhere here - if
wanted, they'd need a private/self-hosted Open VSX-compatible registry
or manual .vsix installation post-boot.
2026-08-26 20:29:49 +02:00
octoturge 557d6a3d84 fix(web): drop unresolvable 89netram.hotheaded-vscode extension
Provision Coder Templates / provision (push) Successful in 2m6s
Blocked code-server startup entirely (extension install failure was
fatal, code-server never came up -> "connection was refused" on the
agent's proxy port). The id is also miscased in the profile (should be
89netraM, capital M) and the real extension is a Windows-only joke
("Hotheaded VS Code" - screams at you on errors), not something with
any use in a headless Linux code-server container, so dropping it
outright rather than fixing the casing.
2026-08-26 18:51:01 +02:00
octoturge 354536dad5 fix: use sudo for /opt/coder setup in cli_setup_wizard and install_skills
Provision Coder Templates / provision (push) Successful in 2m5s
The coder_agent's coder_script resources run as the unprivileged coder
user, which can't mkdir under root-owned /opt. Every template hit this
identically (mkdir: cannot create directory '/opt/coder': Permission
denied) since coder_script content is shared verbatim across all 6.
coder has passwordless sudo everywhere, so sudo mkdir + chown to the
running user unblocks the rest of each script's non-sudo writes.
2026-08-26 18:38:46 +02:00
18 changed files with 714 additions and 16 deletions
+13
View File
@@ -117,6 +117,19 @@ finishes it - and offers to install + log into:
- **GitHub CLI** (`gh`, via the official apt repo, then `gh auth login`) - **GitHub CLI** (`gh`, via the official apt repo, then `gh auth login`)
- **Gitea CLI** (`tea`, official binary release downloaded to `~/.local/bin`, then `tea login add`) - **Gitea CLI** (`tea`, official binary release downloaded to `~/.local/bin`, then `tea login add`)
`git` and `gnupg` themselves aren't part of this opt-in flow - every
template's `coder_agent` startup script installs them unconditionally as
base packages (a no-op where they're already present, e.g. baked into
`templates/web`'s image). If the wizard just authenticated GitHub and/or
Gitea above (skipped entirely for "local git only" - neither set up), it
asks once more whether to auto-generate an ed25519 SSH key and an ed25519
GPG signing key and register them with whichever host(s) got set up: `gh
ssh-key add` / `gh gpg-key add` for GitHub, a direct call against Gitea's
`/api/v1/user/keys` and `/api/v1/user/gpg_keys` (using the token `tea
login add` already stored) for Gitea. Either upload failing just prints
the manual command/URL to finish it yourself - never blocks the rest of
the wizard.
It does **not** ask about VS Code extensions, since those are handled by It does **not** ask about VS Code extensions, since those are handled by
Terraform (see above). Once the user confirms completion it writes a Terraform (see above). Once the user confirms completion it writes a
sentinel file (`~/.cache/coder-cli-wizard/done`) and stops prompting. It can sentinel file (`~/.cache/coder-cli-wizard/done`) and stops prompting. It can
+102
View File
@@ -19,6 +19,12 @@ WIZARD_DONE_FILE="${HOME}/.cache/coder-cli-wizard/done"
FORCE=0 FORCE=0
[ "${1:-}" = "--force" ] && FORCE=1 [ "${1:-}" = "--force" ] && FORCE=1
# Tracks whether the user actually ended up authenticated against GitHub
# and/or Gitea below, so the SSH/GPG key step can ask about exactly the
# host(s) in play (and stay silent - "local git only" - if neither).
DID_GITHUB=0
DID_GITEA=0
export BUN_INSTALL="${HOME}/.bun" export BUN_INSTALL="${HOME}/.bun"
export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}" export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}"
@@ -112,6 +118,7 @@ else
fi fi
fi fi
fi fi
command -v gh >/dev/null 2>&1 && gh auth status >/dev/null 2>&1 && DID_GITHUB=1
# --- Gitea CLI (tea) --- # --- Gitea CLI (tea) ---
if command -v tea >/dev/null 2>&1; then if command -v tea >/dev/null 2>&1; then
@@ -136,6 +143,101 @@ else
fi fi
fi fi
fi fi
TEA_CONFIG="${XDG_CONFIG_HOME:-$HOME/.config}/tea/config.yml"
if command -v tea >/dev/null 2>&1 && [ -f "$TEA_CONFIG" ]; then
TEA_URL="$(awk '/^logins:/{f=1} f && /^ url:/{print $2; exit}' "$TEA_CONFIG")"
TEA_TOKEN="$(awk '/^logins:/{f=1} f && /^ token:/{print $2; exit}' "$TEA_CONFIG")"
[ -n "$TEA_URL" ] && [ -n "$TEA_TOKEN" ] && DID_GITEA=1
fi
# --- SSH + GPG keys for the external git host(s) selected above ---
# Only asks if the user actually set up GitHub and/or Gitea just now -
# stays silent for "local git only" (neither was set up).
if [ "$DID_GITHUB" -eq 1 ] || [ "$DID_GITEA" -eq 1 ]; then
if [ "$DID_GITHUB" -eq 1 ] && [ "$DID_GITEA" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub and Gitea"
elif [ "$DID_GITHUB" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub"
else
KEY_HOSTS_DESC="Gitea"
fi
if ask_yes_no "Auto-generate an SSH key and a GPG signing key, and register them with $KEY_HOSTS_DESC?"; then
KEY_NAME="${GIT_AUTHOR_NAME:-$(whoami)}"
KEY_EMAIL="${GIT_AUTHOR_EMAIL:-$(whoami)@$(hostname)}"
# SSH key: ed25519, no passphrase (disposable dev workspace convenience;
# add one manually afterwards with `ssh-keygen -p` if you want one).
SSH_KEY="$HOME/.ssh/id_ed25519"
if [ ! -f "$SSH_KEY" ]; then
mkdir -p "$HOME/.ssh" && chmod 700 "$HOME/.ssh"
ssh-keygen -t ed25519 -N "" -C "$KEY_EMAIL" -f "$SSH_KEY" -q
echo "Generated SSH key: ${SSH_KEY}.pub"
else
echo "SSH key already exists at ${SSH_KEY}.pub, reusing it."
fi
if [ "$DID_GITHUB" -eq 1 ]; then
if gh ssh-key add "${SSH_KEY}.pub" --title "coder-$(hostname)" 2>/dev/null; then
echo "SSH key added to GitHub."
else
echo "Couldn't add the SSH key to GitHub automatically (may already be added). Add manually: gh ssh-key add ${SSH_KEY}.pub"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
SSH_PUB_JSON="$(sed 's/\\/\\\\/g; s/"/\\"/g' "${SSH_KEY}.pub")"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"title\":\"coder-$(hostname)\",\"key\":\"${SSH_PUB_JSON}\"}" >/dev/null 2>&1; then
echo "SSH key added to Gitea."
else
echo "Couldn't add the SSH key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
# GPG key: ed25519 signing key, no passphrase, no expiry.
if gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | grep -q '^sec'; then
echo "GPG key for $KEY_EMAIL already exists, reusing it."
else
mkdir -p "$HOME/.gnupg" && chmod 700 "$HOME/.gnupg"
grep -qF "allow-loopback-pinentry" "$HOME/.gnupg/gpg-agent.conf" 2>/dev/null \
|| echo "allow-loopback-pinentry" >> "$HOME/.gnupg/gpg-agent.conf"
gpgconf --kill gpg-agent 2>/dev/null
if gpg --batch --pinentry-mode loopback --passphrase '' --quick-gen-key "$KEY_NAME <$KEY_EMAIL>" ed25519 sign 0 2>/dev/null; then
echo "Generated GPG signing key for $KEY_EMAIL."
else
echo "GPG key generation failed. Generate manually with: gpg --quick-gen-key \"$KEY_NAME <$KEY_EMAIL>\" ed25519 sign 0"
fi
fi
GPG_KEY_ID="$(gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | awk -F: '/^sec/{print $5; exit}')"
if [ -n "$GPG_KEY_ID" ]; then
git config --global user.signingkey "$GPG_KEY_ID"
git config --global commit.gpgsign true
echo "Configured git to sign commits with this key."
if [ "$DID_GITHUB" -eq 1 ]; then
if gpg --armor --export "$GPG_KEY_ID" | gh gpg-key add - 2>/dev/null; then
echo "GPG key added to GitHub."
else
echo "Couldn't add the GPG key to GitHub automatically (may already be added). Add manually: gpg --armor --export $GPG_KEY_ID | gh gpg-key add -"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
GPG_ARMORED_JSON="$(gpg --armor --export "$GPG_KEY_ID" | awk '{printf "%s\\n", $0}')"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/gpg_keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"armored_public_key\":\"${GPG_ARMORED_JSON}\"}" >/dev/null 2>&1; then
echo "GPG key added to Gitea."
else
echo "Couldn't add the GPG key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
fi
fi
fi
echo "" echo ""
if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then
+12 -2
View File
@@ -53,6 +53,14 @@ resource "coder_agent" "main" {
touch ~/.init_done touch ~/.init_done
fi fi
# Ensure git and gnupg (commit signing) are present as base packages -
# not every base image ships gnupg by default. No-op once both are
# present (e.g. templates/web already bakes them into its image).
if ! command -v git >/dev/null 2>&1 || ! command -v gpg >/dev/null 2>&1; then
sudo apt-get update -qq
sudo apt-get install -y --no-install-recommends git gnupg
fi
# Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here # Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here
EOT EOT
@@ -250,7 +258,8 @@ resource "coder_script" "cli_setup_wizard" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh
chmod +x /opt/coder/cli-setup-wizard.sh chmod +x /opt/coder/cli-setup-wizard.sh
@@ -305,7 +314,8 @@ resource "coder_script" "install_skills" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh
chmod +x /opt/coder/install-skills.sh chmod +x /opt/coder/install-skills.sh
SPECIALTY_SKILLS="openscad-parametric" /opt/coder/install-skills.sh SPECIALTY_SKILLS="openscad-parametric" /opt/coder/install-skills.sh
File diff suppressed because one or more lines are too long
+102
View File
@@ -19,6 +19,12 @@ WIZARD_DONE_FILE="${HOME}/.cache/coder-cli-wizard/done"
FORCE=0 FORCE=0
[ "${1:-}" = "--force" ] && FORCE=1 [ "${1:-}" = "--force" ] && FORCE=1
# Tracks whether the user actually ended up authenticated against GitHub
# and/or Gitea below, so the SSH/GPG key step can ask about exactly the
# host(s) in play (and stay silent - "local git only" - if neither).
DID_GITHUB=0
DID_GITEA=0
export BUN_INSTALL="${HOME}/.bun" export BUN_INSTALL="${HOME}/.bun"
export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}" export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}"
@@ -112,6 +118,7 @@ else
fi fi
fi fi
fi fi
command -v gh >/dev/null 2>&1 && gh auth status >/dev/null 2>&1 && DID_GITHUB=1
# --- Gitea CLI (tea) --- # --- Gitea CLI (tea) ---
if command -v tea >/dev/null 2>&1; then if command -v tea >/dev/null 2>&1; then
@@ -136,6 +143,101 @@ else
fi fi
fi fi
fi fi
TEA_CONFIG="${XDG_CONFIG_HOME:-$HOME/.config}/tea/config.yml"
if command -v tea >/dev/null 2>&1 && [ -f "$TEA_CONFIG" ]; then
TEA_URL="$(awk '/^logins:/{f=1} f && /^ url:/{print $2; exit}' "$TEA_CONFIG")"
TEA_TOKEN="$(awk '/^logins:/{f=1} f && /^ token:/{print $2; exit}' "$TEA_CONFIG")"
[ -n "$TEA_URL" ] && [ -n "$TEA_TOKEN" ] && DID_GITEA=1
fi
# --- SSH + GPG keys for the external git host(s) selected above ---
# Only asks if the user actually set up GitHub and/or Gitea just now -
# stays silent for "local git only" (neither was set up).
if [ "$DID_GITHUB" -eq 1 ] || [ "$DID_GITEA" -eq 1 ]; then
if [ "$DID_GITHUB" -eq 1 ] && [ "$DID_GITEA" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub and Gitea"
elif [ "$DID_GITHUB" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub"
else
KEY_HOSTS_DESC="Gitea"
fi
if ask_yes_no "Auto-generate an SSH key and a GPG signing key, and register them with $KEY_HOSTS_DESC?"; then
KEY_NAME="${GIT_AUTHOR_NAME:-$(whoami)}"
KEY_EMAIL="${GIT_AUTHOR_EMAIL:-$(whoami)@$(hostname)}"
# SSH key: ed25519, no passphrase (disposable dev workspace convenience;
# add one manually afterwards with `ssh-keygen -p` if you want one).
SSH_KEY="$HOME/.ssh/id_ed25519"
if [ ! -f "$SSH_KEY" ]; then
mkdir -p "$HOME/.ssh" && chmod 700 "$HOME/.ssh"
ssh-keygen -t ed25519 -N "" -C "$KEY_EMAIL" -f "$SSH_KEY" -q
echo "Generated SSH key: ${SSH_KEY}.pub"
else
echo "SSH key already exists at ${SSH_KEY}.pub, reusing it."
fi
if [ "$DID_GITHUB" -eq 1 ]; then
if gh ssh-key add "${SSH_KEY}.pub" --title "coder-$(hostname)" 2>/dev/null; then
echo "SSH key added to GitHub."
else
echo "Couldn't add the SSH key to GitHub automatically (may already be added). Add manually: gh ssh-key add ${SSH_KEY}.pub"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
SSH_PUB_JSON="$(sed 's/\\/\\\\/g; s/"/\\"/g' "${SSH_KEY}.pub")"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"title\":\"coder-$(hostname)\",\"key\":\"${SSH_PUB_JSON}\"}" >/dev/null 2>&1; then
echo "SSH key added to Gitea."
else
echo "Couldn't add the SSH key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
# GPG key: ed25519 signing key, no passphrase, no expiry.
if gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | grep -q '^sec'; then
echo "GPG key for $KEY_EMAIL already exists, reusing it."
else
mkdir -p "$HOME/.gnupg" && chmod 700 "$HOME/.gnupg"
grep -qF "allow-loopback-pinentry" "$HOME/.gnupg/gpg-agent.conf" 2>/dev/null \
|| echo "allow-loopback-pinentry" >> "$HOME/.gnupg/gpg-agent.conf"
gpgconf --kill gpg-agent 2>/dev/null
if gpg --batch --pinentry-mode loopback --passphrase '' --quick-gen-key "$KEY_NAME <$KEY_EMAIL>" ed25519 sign 0 2>/dev/null; then
echo "Generated GPG signing key for $KEY_EMAIL."
else
echo "GPG key generation failed. Generate manually with: gpg --quick-gen-key \"$KEY_NAME <$KEY_EMAIL>\" ed25519 sign 0"
fi
fi
GPG_KEY_ID="$(gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | awk -F: '/^sec/{print $5; exit}')"
if [ -n "$GPG_KEY_ID" ]; then
git config --global user.signingkey "$GPG_KEY_ID"
git config --global commit.gpgsign true
echo "Configured git to sign commits with this key."
if [ "$DID_GITHUB" -eq 1 ]; then
if gpg --armor --export "$GPG_KEY_ID" | gh gpg-key add - 2>/dev/null; then
echo "GPG key added to GitHub."
else
echo "Couldn't add the GPG key to GitHub automatically (may already be added). Add manually: gpg --armor --export $GPG_KEY_ID | gh gpg-key add -"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
GPG_ARMORED_JSON="$(gpg --armor --export "$GPG_KEY_ID" | awk '{printf "%s\\n", $0}')"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/gpg_keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"armored_public_key\":\"${GPG_ARMORED_JSON}\"}" >/dev/null 2>&1; then
echo "GPG key added to Gitea."
else
echo "Couldn't add the GPG key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
fi
fi
fi
echo "" echo ""
if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then
+12 -2
View File
@@ -53,6 +53,14 @@ resource "coder_agent" "main" {
touch ~/.init_done touch ~/.init_done
fi fi
# Ensure git and gnupg (commit signing) are present as base packages -
# not every base image ships gnupg by default. No-op once both are
# present (e.g. templates/web already bakes them into its image).
if ! command -v git >/dev/null 2>&1 || ! command -v gpg >/dev/null 2>&1; then
sudo apt-get update -qq
sudo apt-get install -y --no-install-recommends git gnupg
fi
# Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here # Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here
EOT EOT
@@ -250,7 +258,8 @@ resource "coder_script" "cli_setup_wizard" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh
chmod +x /opt/coder/cli-setup-wizard.sh chmod +x /opt/coder/cli-setup-wizard.sh
@@ -305,7 +314,8 @@ resource "coder_script" "install_skills" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh
chmod +x /opt/coder/install-skills.sh chmod +x /opt/coder/install-skills.sh
SPECIALTY_SKILLS="cobol-teacher" /opt/coder/install-skills.sh SPECIALTY_SKILLS="cobol-teacher" /opt/coder/install-skills.sh
File diff suppressed because one or more lines are too long
+102
View File
@@ -19,6 +19,12 @@ WIZARD_DONE_FILE="${HOME}/.cache/coder-cli-wizard/done"
FORCE=0 FORCE=0
[ "${1:-}" = "--force" ] && FORCE=1 [ "${1:-}" = "--force" ] && FORCE=1
# Tracks whether the user actually ended up authenticated against GitHub
# and/or Gitea below, so the SSH/GPG key step can ask about exactly the
# host(s) in play (and stay silent - "local git only" - if neither).
DID_GITHUB=0
DID_GITEA=0
export BUN_INSTALL="${HOME}/.bun" export BUN_INSTALL="${HOME}/.bun"
export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}" export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}"
@@ -112,6 +118,7 @@ else
fi fi
fi fi
fi fi
command -v gh >/dev/null 2>&1 && gh auth status >/dev/null 2>&1 && DID_GITHUB=1
# --- Gitea CLI (tea) --- # --- Gitea CLI (tea) ---
if command -v tea >/dev/null 2>&1; then if command -v tea >/dev/null 2>&1; then
@@ -136,6 +143,101 @@ else
fi fi
fi fi
fi fi
TEA_CONFIG="${XDG_CONFIG_HOME:-$HOME/.config}/tea/config.yml"
if command -v tea >/dev/null 2>&1 && [ -f "$TEA_CONFIG" ]; then
TEA_URL="$(awk '/^logins:/{f=1} f && /^ url:/{print $2; exit}' "$TEA_CONFIG")"
TEA_TOKEN="$(awk '/^logins:/{f=1} f && /^ token:/{print $2; exit}' "$TEA_CONFIG")"
[ -n "$TEA_URL" ] && [ -n "$TEA_TOKEN" ] && DID_GITEA=1
fi
# --- SSH + GPG keys for the external git host(s) selected above ---
# Only asks if the user actually set up GitHub and/or Gitea just now -
# stays silent for "local git only" (neither was set up).
if [ "$DID_GITHUB" -eq 1 ] || [ "$DID_GITEA" -eq 1 ]; then
if [ "$DID_GITHUB" -eq 1 ] && [ "$DID_GITEA" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub and Gitea"
elif [ "$DID_GITHUB" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub"
else
KEY_HOSTS_DESC="Gitea"
fi
if ask_yes_no "Auto-generate an SSH key and a GPG signing key, and register them with $KEY_HOSTS_DESC?"; then
KEY_NAME="${GIT_AUTHOR_NAME:-$(whoami)}"
KEY_EMAIL="${GIT_AUTHOR_EMAIL:-$(whoami)@$(hostname)}"
# SSH key: ed25519, no passphrase (disposable dev workspace convenience;
# add one manually afterwards with `ssh-keygen -p` if you want one).
SSH_KEY="$HOME/.ssh/id_ed25519"
if [ ! -f "$SSH_KEY" ]; then
mkdir -p "$HOME/.ssh" && chmod 700 "$HOME/.ssh"
ssh-keygen -t ed25519 -N "" -C "$KEY_EMAIL" -f "$SSH_KEY" -q
echo "Generated SSH key: ${SSH_KEY}.pub"
else
echo "SSH key already exists at ${SSH_KEY}.pub, reusing it."
fi
if [ "$DID_GITHUB" -eq 1 ]; then
if gh ssh-key add "${SSH_KEY}.pub" --title "coder-$(hostname)" 2>/dev/null; then
echo "SSH key added to GitHub."
else
echo "Couldn't add the SSH key to GitHub automatically (may already be added). Add manually: gh ssh-key add ${SSH_KEY}.pub"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
SSH_PUB_JSON="$(sed 's/\\/\\\\/g; s/"/\\"/g' "${SSH_KEY}.pub")"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"title\":\"coder-$(hostname)\",\"key\":\"${SSH_PUB_JSON}\"}" >/dev/null 2>&1; then
echo "SSH key added to Gitea."
else
echo "Couldn't add the SSH key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
# GPG key: ed25519 signing key, no passphrase, no expiry.
if gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | grep -q '^sec'; then
echo "GPG key for $KEY_EMAIL already exists, reusing it."
else
mkdir -p "$HOME/.gnupg" && chmod 700 "$HOME/.gnupg"
grep -qF "allow-loopback-pinentry" "$HOME/.gnupg/gpg-agent.conf" 2>/dev/null \
|| echo "allow-loopback-pinentry" >> "$HOME/.gnupg/gpg-agent.conf"
gpgconf --kill gpg-agent 2>/dev/null
if gpg --batch --pinentry-mode loopback --passphrase '' --quick-gen-key "$KEY_NAME <$KEY_EMAIL>" ed25519 sign 0 2>/dev/null; then
echo "Generated GPG signing key for $KEY_EMAIL."
else
echo "GPG key generation failed. Generate manually with: gpg --quick-gen-key \"$KEY_NAME <$KEY_EMAIL>\" ed25519 sign 0"
fi
fi
GPG_KEY_ID="$(gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | awk -F: '/^sec/{print $5; exit}')"
if [ -n "$GPG_KEY_ID" ]; then
git config --global user.signingkey "$GPG_KEY_ID"
git config --global commit.gpgsign true
echo "Configured git to sign commits with this key."
if [ "$DID_GITHUB" -eq 1 ]; then
if gpg --armor --export "$GPG_KEY_ID" | gh gpg-key add - 2>/dev/null; then
echo "GPG key added to GitHub."
else
echo "Couldn't add the GPG key to GitHub automatically (may already be added). Add manually: gpg --armor --export $GPG_KEY_ID | gh gpg-key add -"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
GPG_ARMORED_JSON="$(gpg --armor --export "$GPG_KEY_ID" | awk '{printf "%s\\n", $0}')"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/gpg_keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"armored_public_key\":\"${GPG_ARMORED_JSON}\"}" >/dev/null 2>&1; then
echo "GPG key added to Gitea."
else
echo "Couldn't add the GPG key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
fi
fi
fi
echo "" echo ""
if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then
+12 -2
View File
@@ -53,6 +53,14 @@ resource "coder_agent" "main" {
touch ~/.init_done touch ~/.init_done
fi fi
# Ensure git and gnupg (commit signing) are present as base packages -
# not every base image ships gnupg by default. No-op once both are
# present (e.g. templates/web already bakes them into its image).
if ! command -v git >/dev/null 2>&1 || ! command -v gpg >/dev/null 2>&1; then
sudo apt-get update -qq
sudo apt-get install -y --no-install-recommends git gnupg
fi
# Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here # Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here
EOT EOT
@@ -250,7 +258,8 @@ resource "coder_script" "cli_setup_wizard" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh
chmod +x /opt/coder/cli-setup-wizard.sh chmod +x /opt/coder/cli-setup-wizard.sh
@@ -306,7 +315,8 @@ resource "coder_script" "install_skills" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh
chmod +x /opt/coder/install-skills.sh chmod +x /opt/coder/install-skills.sh
SPECIALTY_SKILLS="" /opt/coder/install-skills.sh SPECIALTY_SKILLS="" /opt/coder/install-skills.sh
+102
View File
@@ -19,6 +19,12 @@ WIZARD_DONE_FILE="${HOME}/.cache/coder-cli-wizard/done"
FORCE=0 FORCE=0
[ "${1:-}" = "--force" ] && FORCE=1 [ "${1:-}" = "--force" ] && FORCE=1
# Tracks whether the user actually ended up authenticated against GitHub
# and/or Gitea below, so the SSH/GPG key step can ask about exactly the
# host(s) in play (and stay silent - "local git only" - if neither).
DID_GITHUB=0
DID_GITEA=0
export BUN_INSTALL="${HOME}/.bun" export BUN_INSTALL="${HOME}/.bun"
export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}" export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}"
@@ -112,6 +118,7 @@ else
fi fi
fi fi
fi fi
command -v gh >/dev/null 2>&1 && gh auth status >/dev/null 2>&1 && DID_GITHUB=1
# --- Gitea CLI (tea) --- # --- Gitea CLI (tea) ---
if command -v tea >/dev/null 2>&1; then if command -v tea >/dev/null 2>&1; then
@@ -136,6 +143,101 @@ else
fi fi
fi fi
fi fi
TEA_CONFIG="${XDG_CONFIG_HOME:-$HOME/.config}/tea/config.yml"
if command -v tea >/dev/null 2>&1 && [ -f "$TEA_CONFIG" ]; then
TEA_URL="$(awk '/^logins:/{f=1} f && /^ url:/{print $2; exit}' "$TEA_CONFIG")"
TEA_TOKEN="$(awk '/^logins:/{f=1} f && /^ token:/{print $2; exit}' "$TEA_CONFIG")"
[ -n "$TEA_URL" ] && [ -n "$TEA_TOKEN" ] && DID_GITEA=1
fi
# --- SSH + GPG keys for the external git host(s) selected above ---
# Only asks if the user actually set up GitHub and/or Gitea just now -
# stays silent for "local git only" (neither was set up).
if [ "$DID_GITHUB" -eq 1 ] || [ "$DID_GITEA" -eq 1 ]; then
if [ "$DID_GITHUB" -eq 1 ] && [ "$DID_GITEA" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub and Gitea"
elif [ "$DID_GITHUB" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub"
else
KEY_HOSTS_DESC="Gitea"
fi
if ask_yes_no "Auto-generate an SSH key and a GPG signing key, and register them with $KEY_HOSTS_DESC?"; then
KEY_NAME="${GIT_AUTHOR_NAME:-$(whoami)}"
KEY_EMAIL="${GIT_AUTHOR_EMAIL:-$(whoami)@$(hostname)}"
# SSH key: ed25519, no passphrase (disposable dev workspace convenience;
# add one manually afterwards with `ssh-keygen -p` if you want one).
SSH_KEY="$HOME/.ssh/id_ed25519"
if [ ! -f "$SSH_KEY" ]; then
mkdir -p "$HOME/.ssh" && chmod 700 "$HOME/.ssh"
ssh-keygen -t ed25519 -N "" -C "$KEY_EMAIL" -f "$SSH_KEY" -q
echo "Generated SSH key: ${SSH_KEY}.pub"
else
echo "SSH key already exists at ${SSH_KEY}.pub, reusing it."
fi
if [ "$DID_GITHUB" -eq 1 ]; then
if gh ssh-key add "${SSH_KEY}.pub" --title "coder-$(hostname)" 2>/dev/null; then
echo "SSH key added to GitHub."
else
echo "Couldn't add the SSH key to GitHub automatically (may already be added). Add manually: gh ssh-key add ${SSH_KEY}.pub"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
SSH_PUB_JSON="$(sed 's/\\/\\\\/g; s/"/\\"/g' "${SSH_KEY}.pub")"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"title\":\"coder-$(hostname)\",\"key\":\"${SSH_PUB_JSON}\"}" >/dev/null 2>&1; then
echo "SSH key added to Gitea."
else
echo "Couldn't add the SSH key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
# GPG key: ed25519 signing key, no passphrase, no expiry.
if gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | grep -q '^sec'; then
echo "GPG key for $KEY_EMAIL already exists, reusing it."
else
mkdir -p "$HOME/.gnupg" && chmod 700 "$HOME/.gnupg"
grep -qF "allow-loopback-pinentry" "$HOME/.gnupg/gpg-agent.conf" 2>/dev/null \
|| echo "allow-loopback-pinentry" >> "$HOME/.gnupg/gpg-agent.conf"
gpgconf --kill gpg-agent 2>/dev/null
if gpg --batch --pinentry-mode loopback --passphrase '' --quick-gen-key "$KEY_NAME <$KEY_EMAIL>" ed25519 sign 0 2>/dev/null; then
echo "Generated GPG signing key for $KEY_EMAIL."
else
echo "GPG key generation failed. Generate manually with: gpg --quick-gen-key \"$KEY_NAME <$KEY_EMAIL>\" ed25519 sign 0"
fi
fi
GPG_KEY_ID="$(gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | awk -F: '/^sec/{print $5; exit}')"
if [ -n "$GPG_KEY_ID" ]; then
git config --global user.signingkey "$GPG_KEY_ID"
git config --global commit.gpgsign true
echo "Configured git to sign commits with this key."
if [ "$DID_GITHUB" -eq 1 ]; then
if gpg --armor --export "$GPG_KEY_ID" | gh gpg-key add - 2>/dev/null; then
echo "GPG key added to GitHub."
else
echo "Couldn't add the GPG key to GitHub automatically (may already be added). Add manually: gpg --armor --export $GPG_KEY_ID | gh gpg-key add -"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
GPG_ARMORED_JSON="$(gpg --armor --export "$GPG_KEY_ID" | awk '{printf "%s\\n", $0}')"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/gpg_keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"armored_public_key\":\"${GPG_ARMORED_JSON}\"}" >/dev/null 2>&1; then
echo "GPG key added to Gitea."
else
echo "Couldn't add the GPG key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
fi
fi
fi
echo "" echo ""
if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then
+12 -2
View File
@@ -53,6 +53,14 @@ resource "coder_agent" "main" {
touch ~/.init_done touch ~/.init_done
fi fi
# Ensure git and gnupg (commit signing) are present as base packages -
# not every base image ships gnupg by default. No-op once both are
# present (e.g. templates/web already bakes them into its image).
if ! command -v git >/dev/null 2>&1 || ! command -v gpg >/dev/null 2>&1; then
sudo apt-get update -qq
sudo apt-get install -y --no-install-recommends git gnupg
fi
# Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here # Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here
EOT EOT
@@ -250,7 +258,8 @@ resource "coder_script" "cli_setup_wizard" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh
chmod +x /opt/coder/cli-setup-wizard.sh chmod +x /opt/coder/cli-setup-wizard.sh
@@ -306,7 +315,8 @@ resource "coder_script" "install_skills" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh
chmod +x /opt/coder/install-skills.sh chmod +x /opt/coder/install-skills.sh
SPECIALTY_SKILLS="" /opt/coder/install-skills.sh SPECIALTY_SKILLS="" /opt/coder/install-skills.sh
File diff suppressed because one or more lines are too long
+102
View File
@@ -19,6 +19,12 @@ WIZARD_DONE_FILE="${HOME}/.cache/coder-cli-wizard/done"
FORCE=0 FORCE=0
[ "${1:-}" = "--force" ] && FORCE=1 [ "${1:-}" = "--force" ] && FORCE=1
# Tracks whether the user actually ended up authenticated against GitHub
# and/or Gitea below, so the SSH/GPG key step can ask about exactly the
# host(s) in play (and stay silent - "local git only" - if neither).
DID_GITHUB=0
DID_GITEA=0
export BUN_INSTALL="${HOME}/.bun" export BUN_INSTALL="${HOME}/.bun"
export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}" export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}"
@@ -112,6 +118,7 @@ else
fi fi
fi fi
fi fi
command -v gh >/dev/null 2>&1 && gh auth status >/dev/null 2>&1 && DID_GITHUB=1
# --- Gitea CLI (tea) --- # --- Gitea CLI (tea) ---
if command -v tea >/dev/null 2>&1; then if command -v tea >/dev/null 2>&1; then
@@ -136,6 +143,101 @@ else
fi fi
fi fi
fi fi
TEA_CONFIG="${XDG_CONFIG_HOME:-$HOME/.config}/tea/config.yml"
if command -v tea >/dev/null 2>&1 && [ -f "$TEA_CONFIG" ]; then
TEA_URL="$(awk '/^logins:/{f=1} f && /^ url:/{print $2; exit}' "$TEA_CONFIG")"
TEA_TOKEN="$(awk '/^logins:/{f=1} f && /^ token:/{print $2; exit}' "$TEA_CONFIG")"
[ -n "$TEA_URL" ] && [ -n "$TEA_TOKEN" ] && DID_GITEA=1
fi
# --- SSH + GPG keys for the external git host(s) selected above ---
# Only asks if the user actually set up GitHub and/or Gitea just now -
# stays silent for "local git only" (neither was set up).
if [ "$DID_GITHUB" -eq 1 ] || [ "$DID_GITEA" -eq 1 ]; then
if [ "$DID_GITHUB" -eq 1 ] && [ "$DID_GITEA" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub and Gitea"
elif [ "$DID_GITHUB" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub"
else
KEY_HOSTS_DESC="Gitea"
fi
if ask_yes_no "Auto-generate an SSH key and a GPG signing key, and register them with $KEY_HOSTS_DESC?"; then
KEY_NAME="${GIT_AUTHOR_NAME:-$(whoami)}"
KEY_EMAIL="${GIT_AUTHOR_EMAIL:-$(whoami)@$(hostname)}"
# SSH key: ed25519, no passphrase (disposable dev workspace convenience;
# add one manually afterwards with `ssh-keygen -p` if you want one).
SSH_KEY="$HOME/.ssh/id_ed25519"
if [ ! -f "$SSH_KEY" ]; then
mkdir -p "$HOME/.ssh" && chmod 700 "$HOME/.ssh"
ssh-keygen -t ed25519 -N "" -C "$KEY_EMAIL" -f "$SSH_KEY" -q
echo "Generated SSH key: ${SSH_KEY}.pub"
else
echo "SSH key already exists at ${SSH_KEY}.pub, reusing it."
fi
if [ "$DID_GITHUB" -eq 1 ]; then
if gh ssh-key add "${SSH_KEY}.pub" --title "coder-$(hostname)" 2>/dev/null; then
echo "SSH key added to GitHub."
else
echo "Couldn't add the SSH key to GitHub automatically (may already be added). Add manually: gh ssh-key add ${SSH_KEY}.pub"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
SSH_PUB_JSON="$(sed 's/\\/\\\\/g; s/"/\\"/g' "${SSH_KEY}.pub")"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"title\":\"coder-$(hostname)\",\"key\":\"${SSH_PUB_JSON}\"}" >/dev/null 2>&1; then
echo "SSH key added to Gitea."
else
echo "Couldn't add the SSH key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
# GPG key: ed25519 signing key, no passphrase, no expiry.
if gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | grep -q '^sec'; then
echo "GPG key for $KEY_EMAIL already exists, reusing it."
else
mkdir -p "$HOME/.gnupg" && chmod 700 "$HOME/.gnupg"
grep -qF "allow-loopback-pinentry" "$HOME/.gnupg/gpg-agent.conf" 2>/dev/null \
|| echo "allow-loopback-pinentry" >> "$HOME/.gnupg/gpg-agent.conf"
gpgconf --kill gpg-agent 2>/dev/null
if gpg --batch --pinentry-mode loopback --passphrase '' --quick-gen-key "$KEY_NAME <$KEY_EMAIL>" ed25519 sign 0 2>/dev/null; then
echo "Generated GPG signing key for $KEY_EMAIL."
else
echo "GPG key generation failed. Generate manually with: gpg --quick-gen-key \"$KEY_NAME <$KEY_EMAIL>\" ed25519 sign 0"
fi
fi
GPG_KEY_ID="$(gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | awk -F: '/^sec/{print $5; exit}')"
if [ -n "$GPG_KEY_ID" ]; then
git config --global user.signingkey "$GPG_KEY_ID"
git config --global commit.gpgsign true
echo "Configured git to sign commits with this key."
if [ "$DID_GITHUB" -eq 1 ]; then
if gpg --armor --export "$GPG_KEY_ID" | gh gpg-key add - 2>/dev/null; then
echo "GPG key added to GitHub."
else
echo "Couldn't add the GPG key to GitHub automatically (may already be added). Add manually: gpg --armor --export $GPG_KEY_ID | gh gpg-key add -"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
GPG_ARMORED_JSON="$(gpg --armor --export "$GPG_KEY_ID" | awk '{printf "%s\\n", $0}')"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/gpg_keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"armored_public_key\":\"${GPG_ARMORED_JSON}\"}" >/dev/null 2>&1; then
echo "GPG key added to Gitea."
else
echo "Couldn't add the GPG key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
fi
fi
fi
echo "" echo ""
if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then
+12 -2
View File
@@ -53,6 +53,14 @@ resource "coder_agent" "main" {
touch ~/.init_done touch ~/.init_done
fi fi
# Ensure git and gnupg (commit signing) are present as base packages -
# not every base image ships gnupg by default. No-op once both are
# present (e.g. templates/web already bakes them into its image).
if ! command -v git >/dev/null 2>&1 || ! command -v gpg >/dev/null 2>&1; then
sudo apt-get update -qq
sudo apt-get install -y --no-install-recommends git gnupg
fi
# Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here # Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here
EOT EOT
@@ -250,7 +258,8 @@ resource "coder_script" "cli_setup_wizard" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh
chmod +x /opt/coder/cli-setup-wizard.sh chmod +x /opt/coder/cli-setup-wizard.sh
@@ -306,7 +315,8 @@ resource "coder_script" "install_skills" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh
chmod +x /opt/coder/install-skills.sh chmod +x /opt/coder/install-skills.sh
SPECIALTY_SKILLS="foundryvtt-modding ttrpg-lore-weaver" /opt/coder/install-skills.sh SPECIALTY_SKILLS="foundryvtt-modding ttrpg-lore-weaver" /opt/coder/install-skills.sh
+13
View File
@@ -17,6 +17,19 @@ ENV LANG=en_US.UTF-8 \
LANGUAGE=en_US:en \ LANGUAGE=en_US:en \
LC_ALL=en_US.UTF-8 LC_ALL=en_US.UTF-8
# Google Chrome (stable), for the Browse Lite VS Code extension's embedded
# browser preview. Ubuntu's own `chromium-browser` apt package is just a
# snap wrapper and doesn't work in a container (no snapd) - Google's own
# .deb is the reliable way to get a real Chrome binary here. amd64 only
# (Google doesn't publish a Chrome .deb for arm64), which matches this
# repo's single x86_64 Docker host.
RUN curl -fsSL https://dl.google.com/linux/linux_signing_key.pub \
| gpg --dearmor -o /usr/share/keyrings/google-chrome.gpg \
&& echo "deb [arch=amd64 signed-by=/usr/share/keyrings/google-chrome.gpg] http://dl.google.com/linux/chrome/deb/ stable main" \
> /etc/apt/sources.list.d/google-chrome.list \
&& apt-get update && apt-get install -y google-chrome-stable \
&& rm -rf /var/lib/apt/lists/*
# Core build toolchain, crypto/DB headers, Tauri 2 / WebKit GUI prerequisites, # Core build toolchain, crypto/DB headers, Tauri 2 / WebKit GUI prerequisites,
# X11 dev libs, DB CLI clients, Python + OpenCV, protobuf compiler. # X11 dev libs, DB CLI clients, Python + OpenCV, protobuf compiler.
RUN apt-get update && apt-get install -y --no-install-recommends \ RUN apt-get update && apt-get install -y --no-install-recommends \
+102
View File
@@ -19,6 +19,12 @@ WIZARD_DONE_FILE="${HOME}/.cache/coder-cli-wizard/done"
FORCE=0 FORCE=0
[ "${1:-}" = "--force" ] && FORCE=1 [ "${1:-}" = "--force" ] && FORCE=1
# Tracks whether the user actually ended up authenticated against GitHub
# and/or Gitea below, so the SSH/GPG key step can ask about exactly the
# host(s) in play (and stay silent - "local git only" - if neither).
DID_GITHUB=0
DID_GITEA=0
export BUN_INSTALL="${HOME}/.bun" export BUN_INSTALL="${HOME}/.bun"
export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}" export PATH="${BUN_INSTALL}/bin:${HOME}/.local/bin:${PATH}"
@@ -112,6 +118,7 @@ else
fi fi
fi fi
fi fi
command -v gh >/dev/null 2>&1 && gh auth status >/dev/null 2>&1 && DID_GITHUB=1
# --- Gitea CLI (tea) --- # --- Gitea CLI (tea) ---
if command -v tea >/dev/null 2>&1; then if command -v tea >/dev/null 2>&1; then
@@ -136,6 +143,101 @@ else
fi fi
fi fi
fi fi
TEA_CONFIG="${XDG_CONFIG_HOME:-$HOME/.config}/tea/config.yml"
if command -v tea >/dev/null 2>&1 && [ -f "$TEA_CONFIG" ]; then
TEA_URL="$(awk '/^logins:/{f=1} f && /^ url:/{print $2; exit}' "$TEA_CONFIG")"
TEA_TOKEN="$(awk '/^logins:/{f=1} f && /^ token:/{print $2; exit}' "$TEA_CONFIG")"
[ -n "$TEA_URL" ] && [ -n "$TEA_TOKEN" ] && DID_GITEA=1
fi
# --- SSH + GPG keys for the external git host(s) selected above ---
# Only asks if the user actually set up GitHub and/or Gitea just now -
# stays silent for "local git only" (neither was set up).
if [ "$DID_GITHUB" -eq 1 ] || [ "$DID_GITEA" -eq 1 ]; then
if [ "$DID_GITHUB" -eq 1 ] && [ "$DID_GITEA" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub and Gitea"
elif [ "$DID_GITHUB" -eq 1 ]; then
KEY_HOSTS_DESC="GitHub"
else
KEY_HOSTS_DESC="Gitea"
fi
if ask_yes_no "Auto-generate an SSH key and a GPG signing key, and register them with $KEY_HOSTS_DESC?"; then
KEY_NAME="${GIT_AUTHOR_NAME:-$(whoami)}"
KEY_EMAIL="${GIT_AUTHOR_EMAIL:-$(whoami)@$(hostname)}"
# SSH key: ed25519, no passphrase (disposable dev workspace convenience;
# add one manually afterwards with `ssh-keygen -p` if you want one).
SSH_KEY="$HOME/.ssh/id_ed25519"
if [ ! -f "$SSH_KEY" ]; then
mkdir -p "$HOME/.ssh" && chmod 700 "$HOME/.ssh"
ssh-keygen -t ed25519 -N "" -C "$KEY_EMAIL" -f "$SSH_KEY" -q
echo "Generated SSH key: ${SSH_KEY}.pub"
else
echo "SSH key already exists at ${SSH_KEY}.pub, reusing it."
fi
if [ "$DID_GITHUB" -eq 1 ]; then
if gh ssh-key add "${SSH_KEY}.pub" --title "coder-$(hostname)" 2>/dev/null; then
echo "SSH key added to GitHub."
else
echo "Couldn't add the SSH key to GitHub automatically (may already be added). Add manually: gh ssh-key add ${SSH_KEY}.pub"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
SSH_PUB_JSON="$(sed 's/\\/\\\\/g; s/"/\\"/g' "${SSH_KEY}.pub")"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"title\":\"coder-$(hostname)\",\"key\":\"${SSH_PUB_JSON}\"}" >/dev/null 2>&1; then
echo "SSH key added to Gitea."
else
echo "Couldn't add the SSH key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
# GPG key: ed25519 signing key, no passphrase, no expiry.
if gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | grep -q '^sec'; then
echo "GPG key for $KEY_EMAIL already exists, reusing it."
else
mkdir -p "$HOME/.gnupg" && chmod 700 "$HOME/.gnupg"
grep -qF "allow-loopback-pinentry" "$HOME/.gnupg/gpg-agent.conf" 2>/dev/null \
|| echo "allow-loopback-pinentry" >> "$HOME/.gnupg/gpg-agent.conf"
gpgconf --kill gpg-agent 2>/dev/null
if gpg --batch --pinentry-mode loopback --passphrase '' --quick-gen-key "$KEY_NAME <$KEY_EMAIL>" ed25519 sign 0 2>/dev/null; then
echo "Generated GPG signing key for $KEY_EMAIL."
else
echo "GPG key generation failed. Generate manually with: gpg --quick-gen-key \"$KEY_NAME <$KEY_EMAIL>\" ed25519 sign 0"
fi
fi
GPG_KEY_ID="$(gpg --list-secret-keys --with-colons "$KEY_EMAIL" 2>/dev/null | awk -F: '/^sec/{print $5; exit}')"
if [ -n "$GPG_KEY_ID" ]; then
git config --global user.signingkey "$GPG_KEY_ID"
git config --global commit.gpgsign true
echo "Configured git to sign commits with this key."
if [ "$DID_GITHUB" -eq 1 ]; then
if gpg --armor --export "$GPG_KEY_ID" | gh gpg-key add - 2>/dev/null; then
echo "GPG key added to GitHub."
else
echo "Couldn't add the GPG key to GitHub automatically (may already be added). Add manually: gpg --armor --export $GPG_KEY_ID | gh gpg-key add -"
fi
fi
if [ "$DID_GITEA" -eq 1 ]; then
GPG_ARMORED_JSON="$(gpg --armor --export "$GPG_KEY_ID" | awk '{printf "%s\\n", $0}')"
if curl -fsS -X POST "${TEA_URL%/}/api/v1/user/gpg_keys" \
-H "Authorization: token ${TEA_TOKEN}" -H "Content-Type: application/json" \
-d "{\"armored_public_key\":\"${GPG_ARMORED_JSON}\"}" >/dev/null 2>&1; then
echo "GPG key added to Gitea."
else
echo "Couldn't add the GPG key to Gitea automatically (may already be added). Add manually at: ${TEA_URL%/}/user/settings/keys"
fi
fi
fi
fi
fi
echo "" echo ""
if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then if ask_yes_no "Mark setup wizard as complete so it stops asking on new terminals?"; then
+12 -2
View File
@@ -53,6 +53,14 @@ resource "coder_agent" "main" {
touch ~/.init_done touch ~/.init_done
fi fi
# Ensure git and gnupg (commit signing) are present as base packages -
# not every base image ships gnupg by default. No-op once both are
# present (e.g. templates/web already bakes them into its image).
if ! command -v git >/dev/null 2>&1 || ! command -v gpg >/dev/null 2>&1; then
sudo apt-get update -qq
sudo apt-get install -y --no-install-recommends git gnupg
fi
# Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here # Add any commands that should be executed at workspace startup (e.g install requirements, start a program, etc) here
EOT EOT
@@ -270,7 +278,8 @@ resource "coder_script" "cli_setup_wizard" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh echo '${base64encode(file("${path.module}/cli-setup-wizard.sh"))}' | base64 -d > /opt/coder/cli-setup-wizard.sh
chmod +x /opt/coder/cli-setup-wizard.sh chmod +x /opt/coder/cli-setup-wizard.sh
@@ -307,7 +316,8 @@ resource "coder_script" "install_skills" {
script = <<-EOT script = <<-EOT
#!/bin/bash #!/bin/bash
set -e set -e
mkdir -p /opt/coder sudo mkdir -p /opt/coder
sudo chown "$(id -u):$(id -g)" /opt/coder
echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh echo '${base64encode(file("${path.module}/install-skills.sh"))}' | base64 -d > /opt/coder/install-skills.sh
chmod +x /opt/coder/install-skills.sh chmod +x /opt/coder/install-skills.sh
SPECIALTY_SKILLS="" /opt/coder/install-skills.sh SPECIALTY_SKILLS="" /opt/coder/install-skills.sh
File diff suppressed because one or more lines are too long