add .ximeralocal from jason-problemStyleRevamp

Author: wiobber

.ximera_local/.devcontainer/devcontainer.json

@@ -0,0 +1,40 @@
+{
+    "name": "Ximera Dev Container",
+    // "image": "ghcr.io/ximeraproject/xake2024:latest",
+    "dockerComposeFile": ["docker-compose.yml"],
+    "service": "app",
+    "workspaceFolder": "/code",
+    "forwardPorts": [2080],  // Port to access the web server
+      "portsAttributes": {
+        "2080": {
+          "label": "Web Server",
+          "onAutoForward": "notify",
+          "requireLocalPort": true
+        }
+      },    
+    // "portsAttributes": {
+    //     "2000": {
+    //        "label": "XimeraServer",
+    //        "onAutoForward": "openBrowserOnce"
+    //      }
+    //    },    
+    // "otherPortsAttributes": {
+    //     "onAutoForward": "ignore",
+    // },
+       // "remoteEnv": {
+    //   "DEV_MODE": "true"
+    // },
+    // "remoteUser": "vscode",
+    // "postStartCommand": "echo 'Ximera DevContainer started!'",
+    "customizations": {
+        // Configure properties specific to VS Code.
+        "vscode": {
+            // Add the IDs of extensions you want installed when the container is created.
+            "extensions": [
+                "james-yu.latex-workshop",
+                // "ritwickdey.liveserver",
+                "spencerwmiles.vscode-task-buttons"
+            ]
+        }
+    }
+}

.ximera_local/.devcontainer/docker-compose.yml

@@ -0,0 +1,13 @@
+services:
+  app:
+    image: ghcr.io/ximeraproject/ximeralatex:v2.6.8
+    # image: ghcr.io/ximeraproject/ximeralatex:v2.6.8-full
+    volumes:
+      # This is where VS Code should expect to find your project's source code and the value of "workspaceFolder" in .devcontainer/devcontainer.json
+      - ..:/code:cached
+    command: /bin/sh -c "while sleep 1000; do :; done"   # run forever
+    network_mode: service:ximeraserver
+  ximeraserver:
+    image: registry.gitlab.kuleuven.be/wet/ximera/ximeradocker:2.3_b
+    ports:
+      - "2080:2000"          # Expose Ximera on port 2080

.ximera_local/.github/workflows/docker-image.yml

@@ -0,0 +1,69 @@
+name: Build and Publish Docker Image on Tag
+
+on:
+  push:
+    tags:
+      - 'v*'  # Trigger the workflow when a new tag starting with 'v' is pushed
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    # Step 1: Set up Docker Buildx (supports layer caching)
+    - name: Set up Docker Buildx
+      uses: docker/setup-buildx-action@v2
+
+    # Step 2: Restore cache for Docker layers
+    - name: Cache Docker layers
+      uses: actions/cache@v4
+      with:
+        path: /tmp/.buildx-cache
+        key: buildx-cache-${{ github.sha }}
+        restore-keys: |
+          buildx-cache-${{ github.sha }}
+          buildx-cache-
+          buildx
+
+    # Step 3: Check out the repository
+    - name: Checkout repository
+      uses: actions/checkout@v4
+
+    # # Step 4: Log in to registry
+    - name: Log into registry
+      run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.actor }} --password-stdin
+
+    - name: Initialize cache directory
+      run: mkdir -p /tmp/.buildx-cache
+
+    - name: Debug cache
+      run: ls -l /tmp/.buildx-cache
+
+    # Step 5: Build and push the Docker image with caching
+    - name: Build and Push standard Docker image
+      run: |
+        docker buildx build \
+          --cache-from=type=local,src=/tmp/.buildx-cache \
+          --cache-to=type=local,dest=/tmp/.buildx-cache,mode=max \
+          --tag ghcr.io/ximeraproject/ximeralatex:${{ github.ref_name }} \
+          --file docker/Dockerfile \
+          --push .
+
+    - name: Build and Push full Docker image
+      run: |
+        docker buildx build \
+          --cache-from=type=local,src=/tmp/.buildx-cache \
+          --cache-to=type=local,dest=/tmp/.buildx-cache,mode=max \
+          --tag ghcr.io/ximeraproject/ximeralatex:${{ github.ref_name }}-full \
+          --file docker/Dockerfile.full \
+          --push .
+
+    # - name: Debug cache
+    #   run: ls -l /tmp/.buildx-cache
+
+    # - name: Save cache
+    #   uses: actions/cache@v4
+    #   with:
+    #     path: /tmp/.buildx-cache
+    #     key: buildx-cache-${{ github.sha }}-saved
+