Как исправить "thread 'main", запаниковавшего в' 'Result :: unwrap () `для значения` Err` ", при использовании" ZoKrates "в докере?

Question

Я использую "ZoKrates"(0.4.6) toolbox in "docker"(18.09.2) at Ubuntu 18.04, при компиляции кода я получил следующее:

zokrates@ff141f88fb6d:~$ ./zokrates compile -i test.code

Составление test.code

тема 'main' запаниковала 'под названием Result::unwrap() на Err значение: Os {код: 2, вид: NotFound, сообщение: "Нет такого файла или каталог "} ', src / libcore / result.rs: 999: 5

примечание: запуск с переменной среды RUST_BACKTRACE=1 для отображения обратной трассировки.

Answer 1

Вы находитесь не в той папке. Убедитесь, что вы делаете именно это:

docker run -v <path to your project folder>:/home/zokrates/code -ti zokrates/zokrates /bin/bash

Замените, перетащив папку зократ на терминал. Затем используйте ls, чтобы увидеть файлы, которые у вас есть. Используйте cd, чтобы перейти в папку, где у вас есть файл кода. Оказавшись внутри, выполните:

~/zokrates compile -I <enter the .code file here>