From b7d5491a5db83c5cb0db2abab55dd0c0153cb448 Mon Sep 17 00:00:00 2001 From: ptaylor Date: Tue, 16 Jul 2024 11:23:40 -0700 Subject: [PATCH] Install ninja bash completions --- features/src/ninja/devcontainer-feature.json | 3 ++- features/src/ninja/install.sh | 4 ++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/features/src/ninja/devcontainer-feature.json b/features/src/ninja/devcontainer-feature.json index 3734f127..5183fd69 100644 --- 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 index 0ca02088..04f23c26 100644 --- 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/*;