Add minimal config for Codespaces (#4406)

Make it easier to use Codespace to develop rspec-tools by reusing the Dockerfile for the CI.

.cirrus.yml

@@ -38,9 +38,7 @@ tooling_tests_task:
   env:
     PYTHONPATH: .
   install_dependencies_script:
-    - cd rspec-tools
-    - pipenv install --dev
-    - pipenv run pip install pytest pytest-cov
+    - ci/install_rspec_tools_dependencies.sh
   tests_script:
     - bash ci/fetch_branches.sh
     - cd rspec-tools

.devcontainer/devcontainer.json

@@ -0,0 +1,16 @@
+{
+    "build": {
+        "dockerfile": "../ci/Dockerfile"
+    },
+    // https://code.visualstudio.com/docs/devcontainers/create-dev-container#_rebuild
+    "postCreateCommand": ".devcontainer/finalize-container.sh",
+    "waitFor": "postCreateCommand",
+    "customizations": {
+        "vscode": {
+            "extensions": [
+                "ms-python.python",
+                "asciidoctor.asciidoctor-vscode"
+            ]
+        }
+    }
+}

.devcontainer/finalize-container.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+TOP_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &> /dev/null && pwd)/..
+
+$TOP_DIR/ci/install_rspec_tools_dependencies.sh

.gitignore

@@ -10,6 +10,7 @@
 # generated files
 /rules/**/*.html
 /frontend/public/rules
+rspec-tools/link_probes.history
 
 # compiled files
 *.out

ci/install_rspec_tools_dependencies.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+cd rspec-tools
+pipenv install --dev
+pipenv run pip install pytest pytest-cov