Please enable JavaScript to view this site.

This operation allows you to view or change properties regarding a shell.

You will first need to open the shell and select File/Settings... from the main menu (or hotkey Shift+F7).

In the window that will appear, under the general tab you will be able to set a connection or change other settings regarding the command history and the display format of shell values, while under the quick commands tab you can assign a shell command to a desired key.

Press Confirm (or hotkey Return) to save them, or press Cancel (or hotkey Esc) to cancel the operation.

 

  

Keyboard Navigation

F7 for caret browsing
Hold ALT and press letter

This Info: ALT+q
Page Header: ALT+h
Topic Header: ALT+t
Topic Body: ALT+b
Contents: ALT+c
Search: ALT+s
Exit Menu/Up: ESC