search

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
20.09k stars 2.5k forks source link

'New Terminal Profile' action should be available on the command palette #14372

Open dannaf opened 3 weeks ago

dannaf commented 3 weeks ago

Feature Description:

A user who does not know how to set up a new Terminal Profile would naturally try to ask the Theia command palette to do this for him or her. But the command palette does not come to the rescue on this.

It's fairly easy to set up a new profile, with something like the following in the settings:

"terminal.integrated.profiles.linux": {
  "My Custom Profile": {
    "path": "/path/to/your/shell",
    "args": ["-l", "-i"],
    "icon": "terminal-bash"
  }
}

But a user who doesn't know about this specific setting would need to go digging in the documentation or search the web (or ask an AI assistant, etc.) how to do it. It would be better if the user could just ask the command palette to make a new profile, and the command palette would lay this skeleton setting out and the user could then easily configure it, without needing to go look for documentation.

dannaf commented 3 weeks ago

See an example of this block in action here, https://github.com/eclipse-theia/theia/issues/14366, where I wanted for a long time to set up a terminal profile for running selected code from the Editor in an IPython terminal window, but I hadn't gotten around to it due to the activation energy of figuring out how to get this set up.

tsmaeder commented 2 weeks ago

I was confused by the title a bit here: you're complaint is that the command does not exist at all, right? I am reluctant to add specialized UI for this, but I don't see a problem adding an action that opens the settings.json with the appropriate setup. The fastest way to make this happen would of course be a PR, if you're willing and able to provide one?