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 configuration to enable/disable banner #2398

Merged
merged 2 commits into from
Jan 7, 2020

Conversation

rjmholt
Copy link
Contributor

@rjmholt rjmholt commented Jan 2, 2020

PR Summary

Adds a configuration option to enable/disable the banner.

Resolves #2370.

Should only be merged after PowerShell/PowerShellEditorServices#1141.

PR Checklist

Note: Tick the boxes below that apply to this pull request by putting an x between the square brackets.
Please mark anything not applicable to this PR NA.

  • PR has a meaningful title
  • Summarized changes
  • PR has tests
  • This PR is ready to merge and is not work in progress
    • If the PR is work in progress, please add the prefix WIP: to the beginning of the title and remove the prefix when the PR is ready

@rjmholt rjmholt requested a review from TylerLeonhardt January 2, 2020 21:20
src/session.ts Outdated
@@ -179,12 +179,17 @@ export class SessionManager implements Middleware {
}
}

const startupBanner = this.sessionSettings.integratedConsole.suppressStartupBanner
? ""
: "`n`n =====> PowerShell Integrated Console <=====`n`n";
Copy link
Member

Choose a reason for hiding this comment

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

Isn't this the default? We should just let PSES have this string, no?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I added it to be explicit in case we want to change it in future. On the other hand the duplication isn't ideal and I really don't like needing to write a PowerShell string literal in JS.

Hmmm, ok I'm convinced we should leave it as a the default now.

If we wanted to make it something like ==> VSCode PowerShell Extension <== later, I'd imagine us doing it in the client. But for now I think I agree that leaving it unset in the default case is best.

Copy link
Member

@TylerLeonhardt TylerLeonhardt left a comment

Choose a reason for hiding this comment

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

LGTM

@rjmholt rjmholt merged commit f2c925d into PowerShell:master Jan 7, 2020
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

Successfully merging this pull request may close these issues.

Preview: Should be Toggleable Settings for Integrated Terminal Banner
2 participants