A TerminalProfileProvider can be registered via window.registerTerminalProfileProvider(id, provider) and eventually provides a TerminalProfile defining how a terminal will be launched. All those types and their support in Theia are currently missing.

The types of the options with which a terminal can be provided already exist:

• TerminalOptions
• ExtensionTerminalOptions

Related VSCode API issues:

• [vscode] Support optional properties iconPath and color in TerminalOptions and ExtensionTerminalOptions #11504
• [vscode] Support Terminal#creationOptions #11138
• [vscode] Support specifying the location in terminal options #11506