From 96e03a266db0437c8bc036d4ab887ce2d32f4096 Mon Sep 17 00:00:00 2001 From: melhindi Date: Wed, 27 Mar 2024 11:01:35 +0100 Subject: [PATCH] Fix incorrect tar flag in install.sh The `z` flag in the `tar` command in the `install.sh` script was on the wrong position. This caused the following error: `tar: z: Cannot open: No such file or directory` Making `f` the last flag before the filename and moving the `z` to the front fixes the issue. --- .devcontainer/install.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.devcontainer/install.sh b/.devcontainer/install.sh index 0cccca5d..0284e4f5 100644 --- a/.devcontainer/install.sh +++ b/.devcontainer/install.sh @@ -40,13 +40,13 @@ echo 'export PATH=$PATH:/workspace/Examples/tools/tlaps/bin:/workspaces/Examples ## Install Apalache wget -qN https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -P /tmp mkdir -p tools/ -tar -xvfz /tmp/apalache.tgz --directory tools/ +tar -zxvf /tmp/apalache.tgz --directory tools/ echo 'export PATH=$PATH:/workspace/Examples/tools/apalache/bin:/workspaces/Examples/tools/apalache/bin' >> $HOME/.bashrc tools/apalache/bin/apalache-mc config --enable-stats=true ## Install TLAUC wget -qN https://github.com/tlaplus-community/tlauc/releases/latest/download/tlauc-linux.tar.gz -P /tmp mkdir -p tools/tlauc -tar -xvfz /tmp/tlauc-linux.tar.gz --directory tools/tlauc/ +tar -zxvf /tmp/tlauc-linux.tar.gz --directory tools/tlauc/ echo 'export PATH=$PATH:/workspace/Examples/tools/tlauc:/workspaces/Examples/tools/tlauc' >> $HOME/.bashrc