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

💬 Add PID and executable/arguments to terminal tab hover #171258

Merged
merged 15 commits into from
Mar 16, 2023

Conversation

babakks
Copy link
Contributor

@babakks babakks commented Jan 13, 2023

Fixes #170580

I think this can be a good starter. It adds the PID and executable/arguments to terminal tab hovers.

Note that, I took the quoting of the arguments from here. However, I'm not sure if it works with all special cases (e.g., those having a single quote character within the arg values).

Here are some screen captures of the updated hovers:

(Tabbed, without arguments)
popup-1

(Tabbed, with arguments)
popup-2

(Single tab, without arguments)
popup-3

Signed-off-by: Babak K. Shandiz <babak.k.shandiz@gmail.com>
Signed-off-by: Babak K. Shandiz <babak.k.shandiz@gmail.com>
Signed-off-by: Babak K. Shandiz <babak.k.shandiz@gmail.com>
@Tyriar Tyriar self-assigned this Jan 13, 2023
@Tyriar Tyriar self-requested a review January 13, 2023 13:47
@Tyriar Tyriar added this to the January 2023 milestone Jan 13, 2023
Signed-off-by: Babak K. Shandiz <babak.k.shandiz@gmail.com>
@babakks
Copy link
Contributor Author

babakks commented Jan 13, 2023

@Tyriar Sorry, I just pushed a commit to escape possible markdown tokens in the arguments list.

Tyriar
Tyriar previously approved these changes Jan 13, 2023
Copy link
Member

@Tyriar Tyriar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @babakks, I pushed a change to pipe the actual args through if they get tweaked on the pty host and also tweaked the message:

image

@Tyriar Tyriar enabled auto-merge January 13, 2023 14:56
hediet
hediet previously approved these changes Jan 13, 2023
@Tyriar Tyriar dismissed stale reviews from hediet and themself via cdf7db5 January 17, 2023 16:24
@Tyriar Tyriar marked this pull request as draft January 17, 2023 20:06
auto-merge was automatically disabled January 17, 2023 20:06

Pull request was converted to draft

@Tyriar Tyriar modified the milestones: January 2023, February 2023 Jan 23, 2023
Copy link
Member

@Tyriar Tyriar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure what's causing the failure 🤔

@Tyriar Tyriar added this to the March 2023 milestone Mar 15, 2023
connor4312
connor4312 previously approved these changes Mar 15, 2023
@Tyriar Tyriar marked this pull request as ready for review March 16, 2023 14:01
@Tyriar Tyriar enabled auto-merge March 16, 2023 14:01
@Tyriar Tyriar merged commit e5c7a00 into microsoft:main Mar 16, 2023
@babakks babakks deleted the add-pid-and-cmd-to-termnal-tab-hover branch March 16, 2023 23:06
@github-actions github-actions bot locked and limited conversation to collaborators Apr 30, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Improve terminal properties (e.g. PID) visibility
5 participants