Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface IShellTerminalPreferences

Hierarchy

  • IShellTerminalPreferences

Index

Properties

Properties

shell

shell: ShellTerminalOSPreferences<undefined | string>

shellArgs

shellArgs: ShellTerminalOSPreferences<string[]>