How to completely remove the Terminal?

[rubenanapu]

Description

I use Theia on Docker and I want to hide that Terminal menu. I'm only interested in the Code Editor, not on the shell.

In theory, I could only remove "@theia/terminal" from examples/browser/package.json, but that doesn't work.

OS and Theia version:
Theia 0.8.0
OS: Linux Ubuntu 18.04.2 LTS

[akosyakov]

In theory, I could only remove "@theia/terminal" from examples/browser/package.json, but that doesn't work.

Can you elaborate? Maybe another extension pulls the terminal extension transitively? Please run yarn why @theia/terminal and remove all extensions which pull it.

[kittaakos]

@theia/debug pulls it:

https://github.com/theia-ide/theia/blob/7fe439a30d53846a82d6b0c916de5a69b9da2c77/packages/debug/package.json#L16

[rubenanapu]

I'm not using @theia/debug @kittaakos, but thanks for the answer.

@akosyakov, with yarn why @theia/terminal I found which package uses it. It's used by @theia/task that is inherited by @theia/cpp:

• "project#@Theia#my-example#@Theia#cpp#@Theia#task" depends on it

The thing is that I don't want to drop @theia/cpp support.

I'll dive deeper into @theia/terminal to see how to disable the browser directly there.

Thanks guys.

I'll let you know in case I manage to remove it from the browser.

[rubenanapu]

Guys, if I can't easily remove the @theia/terminal because I need @theia/cpp, does anybody know how to just hide the Terminal menu from the web browser?

[akosyakov]

You could try to create a custom extension which rebinds terminal contribution and makes it no-op.

[datou0412]

const menu = this.menuModelRegistry.getMenu(MAIN_MENU_BAR);
menu.removeNode('7_terminal'); // remove the whole submenu, wont work

const menu = this.menuModelRegistry.getMenu(TerminalMenus.TERMINAL_NEW);
menu.removeNode(TerminalCommands.NEW.id); // remove one submenu child, it works

Is this a bug? @akosyakov

[datou0412]

You could try to create a custom extension which rebinds terminal contribution and makes it no-op.

rebind TerminalFrontendContribution, and rebind TaskFrontendContribution as well

extends the registerMenus method to noop
registerMenus(): void {}

as well as registerCommands , if u want to disabled the command

[akosyakov]

@datou0412 A new menu generated each time when you call getMenu. You need to call unregister to remove terminal menus from the registry at all

[JonasHelming]

This might be a good solution for this issue, too:
#9069