The code and data behind xeiaso.net
5
fork

Configure Feed

Select the types of activity you want to include in your feed.

feat: devcontainer support

Signed-off-by: Xe Iaso <me@xeiaso.net>

+59
+28
.devcontainer/devcontainer.json
··· 1 + // For format details, see https://aka.ms/devcontainer.json. For config options, see the 2 + // README at: https://github.com/devcontainers/templates/tree/main/src/debian 3 + { 4 + "name": "Dev", 5 + // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile 6 + "image": "mcr.microsoft.com/devcontainers/base:bookworm", 7 + 8 + // Features to add to the dev container. More info: https://containers.dev/features. 9 + "features": { 10 + "ghcr.io/devcontainers/features/go:1": {}, 11 + "ghcr.io/devcontainers/features/node:1": {}, 12 + "ghcr.io/xe/devcontainer-features/deno:1.2.1": {}, 13 + "ghcr.io/xe/devcontainer-features/fish:0.1.1": {}, 14 + "ghcr.io/devcontainer-community/devcontainer-features/atuin.sh:1": {} 15 + }, 16 + "mounts": [ 17 + "source=${localEnv:HOME}${localEnv:USERPROFILE}/.local/share/atuin,target=/home/vscode/.local/share/atuin,type=bind,consistency=cached" 18 + ], 19 + 20 + // Use 'forwardPorts' to make a list of ports inside the container available locally. 21 + "forwardPorts": [3000] 22 + 23 + // Configure tool-specific properties. 24 + // "customizations": {}, 25 + 26 + // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. 27 + // "remoteUser": "root" 28 + }
+31
.github/workflows/devcontainer.yml
··· 1 + name: Dev container prebuild 2 + 3 + on: 4 + push: 5 + branches: ["main"] 6 + tags: ["v*.*.*"] 7 + 8 + jobs: 9 + devcontainer: 10 + runs-on: alrest-xe-site 11 + steps: 12 + - name: Checkout repository 13 + uses: actions/checkout@v4 14 + 15 + - name: Set up Docker Buildx 16 + uses: docker/setup-buildx-action@v3 17 + 18 + - name: Log into registry 19 + if: github.event_name != 'pull_request' 20 + uses: docker/login-action@343f7c4344506bcbf9b4de18042ae17996df046d # v3.0.0 21 + with: 22 + registry: ghcr.io 23 + username: xe 24 + password: ${{ secrets.GITHUB_TOKEN }} 25 + 26 + - name: Pre-build dev container image 27 + uses: devcontainers/ci@v0.3 28 + with: 29 + imageName: ghcr.io/xe/site/devcontainer 30 + cacheFrom: ghcr.io/xe/site/devcontainer 31 + push: always