Как выйти из репы вяза? - PullRequest
5 голосов
/ 03 октября 2019

Я учусь Вяз , и мне нужно иметь возможность выйти из репы вяза. Я пробовал exit() как python, \q как postgres, набирая просто exit как MySQL, даже :q как Haskell. Единственное, что я могу сделать, это закрыть терминал, чтобы выйти, должен быть лучший способ.

Ответы [ 2 ]

5 голосов
/ 03 октября 2019

Для выхода из elm repl необходимо набрать :exit. Вы также можете использовать Ctrl + d, но я предпочитаю вводить команды вместо удержания нескольких клавиш. Я нашел этот ответ здесь как часть (неофициального) начала работы с руководством по программированию вяза.

1 голос
/ 16 октября 2019

Просто чтобы добавить немного больше деталей, после запуска REPL в вашем терминале / командной строке, вам предлагается посетить сайт elm-lang для получения дополнительной информации об использовании интерактивной оболочки:

Чтобы выйти из REPL, вы можете набрать :exit.

Вы также можете нажать ctrl-d или ctrl-c на некоторых платформах.

- https://elm -lang.org / 0.19.0 / repl

Только для дальнейшего использования, Эван (создатель Вяза) создал серию «подсказок» в вязе / компиляторе репо.

...