Closed marclajoie123 closed 2 years ago
The installation command generated the error.
curl https://ciao-lang.org/boot -sSfL | sh ▄▄▄ ▄▀ ▀ ▀ ▄▄▄ ▄▄▄ Default stable version: 1.20.0 █ █ █ █ █ █ Detected OS: DARWIN ▀▄▄▄▀ ▀▄▄▀▄▄▀█▄▀▄▄▄▀ Detected architecture: x86_64
Welcome to the interactive network installation for Ciao! (Press C-c to cancel)
Install the development environment? (yes/no) y Install local documentation? (no/yes) n Enable this installation by default? (yes/no) y
Code will be installed under ~/.ciaoroot directory. The selected installation is reproducible with:
curl https://ciao-lang.org/boot -sSfL | sh -s -- --no-prebuilt get devenv --builder:with_docs=no
(Press enter to continue or C-c to cancel)
fetching ciao () from https://github.com/ciao-lang/ciao/archive/.tar.gz curl: (22) The requested URL returned error: 404
sh: line 267: /Users/marclajoie/.ciaoroot//builder/sh_boot/builder_boot.sh: No such file or directory sh: line 267: exec: /Users/marclajoie/.ciaoroot//builder/sh_boot/builder_boot.sh: cannot execute: No such file or directory
Thanks! It should be fixed now (please reopen the issue if the problem persists).
The installation command generated the error.
curl https://ciao-lang.org/boot -sSfL | sh ▄▄▄ ▄▀ ▀ ▀ ▄▄▄ ▄▄▄ Default stable version: 1.20.0 █ █ █ █ █ █ Detected OS: DARWIN ▀▄▄▄▀ ▀▄▄▀▄▄▀█▄▀▄▄▄▀ Detected architecture: x86_64
Welcome to the interactive network installation for Ciao! (Press C-c to cancel)
Install the development environment? (yes/no) y Install local documentation? (no/yes) n Enable this installation by default? (yes/no) y
Code will be installed under ~/.ciaoroot directory. The selected installation is reproducible with:
curl https://ciao-lang.org/boot -sSfL | sh -s -- --no-prebuilt get devenv --builder:with_docs=no
(Press enter to continue or C-c to cancel)
fetching ciao () from https://github.com/ciao-lang/ciao/archive/.tar.gz curl: (22) The requested URL returned error: 404
sh: line 267: /Users/marclajoie/.ciaoroot//builder/sh_boot/builder_boot.sh: No such file or directory sh: line 267: exec: /Users/marclajoie/.ciaoroot//builder/sh_boot/builder_boot.sh: cannot execute: No such file or directory