2013-10-06 1 views
1

Я ищу полный список команд, таких как Ctrl-Z, которые работают в SML/NJ REPL. Я искал здесь, Google и сайт SML/NJ, но не могу найти ничего, даже те, которые я уже знаю.Список команд SML/NJ REPL

Чтобы быть ясным, я не ищу ссылку на язык SML, а только команды интерфейса REPL.

+0

Что делает 'Ctrl-Z' для вас? Для меня это ведет себя как на любой другой консольной программе: отправляет ее на задний план. – zaquest

+0

Это не нужно делать с SML, это функция оболочки. –

ответ

0

Ctrl-Z (под Windows, я полагаю) не обязательно является командой SML. Это скорее сопоставляет экземпляр консоли. Это означает End-Of-File. Под Win вы можете увидеть простое применение этого поведения с помощью:

copy con text.txt 

Экземпляры символов с клавиатуры (CON) в текстовый файл. Многие REPL используют один и тот же механизм/понимание.

Во многом то же самое существует в системах Unix/Linux с Ctrl-D.

Исходя из этого, не может быть больше команд REPL для SML/NJ.

+0

В РЕПЛЕ есть другие Ctrl-последовательность, которые делают вещи: Ctrl-ч удаляет символ слева – gotube

+0

... продолжение ... Ctrl-я прыгаю вперед 6 пространства Ctrl-м, кажется, Я помню Ctrl-m от других терминальных программ. Я только что искал список этих команд, но все, что появляется, это команды командной строки, а не клавиши, такие как^М. Что началось с этого поиска, так это возможность очистки экрана в REPL. Есть ли такая консольная команда? – gotube

+1

Возможно, будет возможно очистить экран даже без sml, непосредственно поддерживающего его. Я помню sml/nj как не лучший REPL с точки зрения возможностей (например, истории). В любой системе Unix/Linux sml может работать в rlwrap. Затем он предоставляет Ctrl-l в качестве ярлыка для очистки экрана. Он также добавляет несколько других приятных функций. – rfindeis