Open a profile from the command pallet (ctrl+shift+P). #21054

Open
opened 2026-01-31 07:31:52 +00:00 by claunia · 0 comments
Owner

Originally created by @alanlivio on GitHub (Jan 5, 2024).

Description of the new feature/enhancement

In a scenario of a user has a long list of profiles, it is useful to search and open a profile name from the command pallet (ctrl+shift+P).

Originally created by @alanlivio on GitHub (Jan 5, 2024). # Description of the new feature/enhancement In a scenario of a user has a long list of profiles, it is useful to search and open a profile name from the command pallet (ctrl+shift+P).
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#21054