Install ninja bash completions

rapidsai · Jul 16, 2024 · b7d5491 · b7d5491
1 parent edf2f65
commit b7d5491
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/features/src/ninja/devcontainer-feature.json b/features/src/ninja/devcontainer-feature.json
@@ -1,13 +1,14 @@
 {
   "name": "Ninja build",
   "id": "ninja",
-  "version": "24.8.1",
+  "version": "24.8.2",
   "description": "A feature to install ninja-build",
   "options": {
     "version": {
       "type": "string",
       "proposals": [
         "latest",
+        "1.12.1",
         "1.12.0"
       ],
       "default": "latest",

diff --git a/features/src/ninja/install.sh b/features/src/ninja/install.sh
@@ -29,6 +29,10 @@ wget --no-hsts -q -O /tmp/ninja-linux.zip \
 unzip -d /usr/bin /tmp/ninja-linux.zip;
 chmod +x /usr/bin/ninja;
 
+# Install Ninja bash completions
+wget --no-hsts -q -O /usr/share/bash-completion/completions/ninja \
+    "https://github.com/ninja-build/ninja/raw/v${NINJA_VERSION}/misc/bash-completion";
+
 # Clean up
 rm -rf /var/tmp/*;
 rm -rf /var/cache/apt/*;