Fix incorrect tar flag in install.sh of devcontainer

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities

Other

1.29k stars 200 forks source link

Fix incorrect tar flag in install.sh of devcontainer #129

Closed melhindi closed 7 months ago

melhindi commented 7 months ago

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.

ahelwer commented 7 months ago

You'll need to sign off with a DCO, read https://github.com/tlaplus/Examples/pull/129/checks?check_run_id=23145024735

lemmy commented 7 months ago

Where/What OS does this cause issues?