Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
dannaf opened this issue Oct 30, 2024 · 2 comments
Open

Comments

@dannaf
Copy link

dannaf commented Oct 30, 2024

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
Copy link
Author

dannaf commented Oct 30, 2024

See an example of this block in action here, #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
Copy link
Contributor

tsmaeder commented Nov 7, 2024

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants