Interface IShellTerminalPreferences

interface IShellTerminalPreferences {
    shell: ShellTerminalOSPreferences<undefined | string>;
    shellArgs: ShellTerminalOSPreferences<string[]>;
}

Properties

shell shellArgs

Properties

shell

shell: ShellTerminalOSPreferences<undefined | string>

shellArgs

shellArgs: ShellTerminalOSPreferences<string[]>

Settings

Member Visibility

Theme

On This Page

shellshellArgs