-
Notifications
You must be signed in to change notification settings - Fork 43
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
Add Microsoft Terminal profile shortcut #200
Add Microsoft Terminal profile shortcut #200
Conversation
Co-authored-by: jaimergp <jaimergp@users.noreply.github.com>
Co-authored-by: jaimergp <jaimergp@users.noreply.github.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM. Feel free to merge once you are ready!
If you have a screenshot of how it looks like on Windows, I think it would be nice to have it posted here. If it's too much trouble, no worries.
Co-authored-by: jaimergp <jaimergp@users.noreply.github.com>
I will create one and post it before I merge. |
Here is a menu file to create the git bash terminal profile and the screenshot shows how it look like in the Windows Terminal. {
"$schema": "https://json-schema.org/draft-07/schema",
"$id": "https://schemas.conda.io/menuinst-1.schema.json",
"menu_name": "git bash",
"menu_items": [
{
"name": "git bash",
"command": [
"C:\\Program Files\\Git\\bin\\bash.exe",
"-li"
],
"platforms": {
"win": {
"quicklaunch": false,
"desktop": false,
"windows_terminal_profile": "Git Bash",
"icon": "C:\\Program Files\\Git\\mingw64\\share\\git\\git-for-windows.ico"
}
}
}
]
} |
Description
The Windows Terminal provides the option to application to its profile. This is a handy feature for terminal-based applications.
This PR adds the option to create a Microsoft Terminal profile. It is limited to non-admin installations because, to my knowledge, there is no global
%LOCALAPPDATA%
file in which the settings file resides.For now, the terminal profiles are identified by their name, which the terminal uses to create a GUID. It is, in principle, possible to create our own GUIDs using the
uuid
module from other types of heuristics, but I decided to keep using the name of the menu item to avoid having profiles with duplicate names.Closes #196
Checklist - did you ...
news
directory (using the template) for the next release's release notes?