2015-02-23 81 views
2

對於新問題,我很抱歉,但我剛剛開始使用OCaml,並且找不到如何使用utop自動補全。utop的自動補全

當我開始在utop中輸入內容時,我在shell的底部看到了一系列選項。如果只有一個有效的選擇,按TAB將自動完成我正在寫的內容。但是,如果有多個有效的選擇,並且我找到了我想要的那個,我還沒有找到一種方法來選擇它(除了繼續寫作)。

例如(假設我已導入Core.Std)I型

Float.of 

第一個建議是Float.of_float,第二個是Float.of_int。我如何選擇第二個?

回答

4

引述UTOP的README

UTOP顯示這是用來顯示實時的可能 補全提示後一間酒吧。您可以使用左側M和右側M,並使用M選項卡選擇一個完成。 M代表meta 密鑰,大部分時間都是Alt。

因此,您可以使用Alt導航完成。

與烏托邦玩得開心!

編輯:

看來Alt並不總是有效,這取決於在終端上。打字Esc然後好鑰匙,然而,工作。

此外,綁定可以通過~/.lambda-term-inputrc文件輕鬆重新綁定,請參閱here

+0

實際上,我已經嘗試了修飾符+箭頭鍵的所有組合,但它們不適用於我。特別是Alt + left和Alt + right在我的系統中不做任何事情,而Win + left和Win + right則被綁定到窗口大小調整(我正在使用Ubuntu 14.04和Gnome shell)。任何方法來重新鍵入密鑰? – Andrea 2015-02-23 10:36:34

+1

(順便說一下,使用Alt + Tab實際選擇完成將在我嘗試過的每個系統上都會失敗 - 這一直用於在打開的窗口之間切換) – Andrea 2015-02-23 10:38:16

+0

您嘗試過'Esc',然後是'arrow'或' Esc'然後'tab'? 'Esc'通常會在下一個按鍵上放置一個'Meta',這樣可以解決它。 – PatJ 2015-02-23 10:45:08