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.

Sign up for GitHub

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

Jump to bottom

Consider other terminal quick fixes #161538

Closed
Tyriar opened this issue Sep 22, 2022 · 4 comments
Closed

Consider other terminal quick fixes #161538

Tyriar opened this issue Sep 22, 2022 · 4 comments
Assignees
@Tyriar @meganrogge
Labels
feature-request Request for new features or functionality terminal-quick-fix
Milestone
On Deck

Comments

@Tyriar
Copy link
Member

Tyriar commented Sep 22, 2022 •
edited
Loading

With #151937 we're getting some initial terminal quick fixes. We have a bunch more ideas, let's use this issue to track adding more at a later date when we have more information on how the feature is received.
@Tyriar Tyriar added feature-request Request for new features or functionality terminal-shell-integration Shell integration, command decorations, etc. labels Sep 22, 2022
@Tyriar Tyriar added this to the October 2022 milestone Sep 22, 2022
@Tyriar Tyriar added terminal-quick-fix and removed terminal-shell-integration Shell integration, command decorations, etc. labels Sep 23, 2022
@meganrogge
Copy link
Contributor

Also want to consider the setting to disable one or more of these

Tyriar added a commit that referenced this issue Oct 3, 2022
@Tyriar
Add did you mean with 2 dashes git quick fix
bbd0c20 
Part of #161538
@Tyriar Tyriar mentioned this issue Oct 3, 2022
Merged
@andrewbranch
Copy link
Member

The open URL one (the only one I’ve seen so far) was a really pleasant surprise and I immediately adopted it into my workflow for opening a GitHub PR after pushing a new branch. Another one I would love to see is opening files with merge conflicts:

image

@Tyriar
Copy link
Member Author

Tyriar commented Oct 14, 2022

@andrewbranch great idea!

@Tyriar Tyriar mentioned this issue Oct 17, 2022
Closed
@Tyriar Tyriar modified the milestones: October 2022, November 2022 Oct 24, 2022
This was referenced Nov 2, 2022
Closed
Closed
@meganrogge meganrogge modified the milestones: November 2022, On Deck Nov 7, 2022
@meganrogge
Copy link
Contributor

I think this can be closed since we have individual issues tracking ideas

@github-actions github-actions bot locked and limited conversation to collaborators Jan 27, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Tyriar Tyriar

@meganrogge meganrogge

Labels
feature-request Request for new features or functionality terminal-quick-fix
Projects
None yet
Milestone
On Deck
Development

No branches or pull requests
3 participants
@Tyriar @andrewbranch @meganrogge