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

Misc dev script improvements #2876

Merged
merged 4 commits into from
May 9, 2024

Conversation

peterhaochen47
Copy link
Member

  • These are just scripts used in local dev

duanemay and others added 4 commits May 8, 2024 19:33
set a different port:
PORT=8081 scripts/tail_uaa_log

defaults to follow
scripts/tail_uaa_log

or output more lines
scripts/tail_uaa_log -100

Co-authored-by: Peter Chen <peter-h.chen@broadcom.com>
Co-authored-by: Peter Chen <peter-h.chen@broadcom.com>
- previously, the script exit 1 when it works

Co-authored-by: Peter Chen <peter-h.chen@broadcom.com>
…ver locally

Co-authored-by: Peter Chen <peter-h.chen@broadcom.com>
@cf-gitbot
Copy link

We have created an issue in Pivotal Tracker to manage this:

https://www.pivotaltracker.com/story/show/187574736

The labels on this github issue will be updated when the story is started.

@peterhaochen47 peterhaochen47 requested a review from a team May 9, 2024 02:36
Copy link
Contributor

@Tallicia Tallicia left a comment

Choose a reason for hiding this comment

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

These look good.

@Tallicia Tallicia self-assigned this May 9, 2024
@Tallicia Tallicia added the accepted Accepted the issue label May 9, 2024
Copy link
Member

@strehle strehle left a comment

Choose a reason for hiding this comment

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

ok for me

@peterhaochen47 peterhaochen47 merged commit 36ad51c into develop May 9, 2024
20 checks passed
@peterhaochen47 peterhaochen47 deleted the pr/develop/misc-dev-script-changes branch May 9, 2024 17:11
@cf-gitbot cf-gitbot removed unscheduled accepted Accepted the issue labels May 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Development

Successfully merging this pull request may close these issues.

None yet

5 participants