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

Use sh instead of bash #122

Closed
wants to merge 9 commits into from
Closed

Use sh instead of bash #122

wants to merge 9 commits into from

Conversation

yb66
Copy link

@yb66 yb66 commented Sep 21, 2019

Hi there,

There's already a PR for this (#117) and this incorporates that change but I found it had been taken further (and better than my own efforts) on @BIG5Concepts branch so I've pulled it in.

There's also a change to the format flags which is in PR's #112 and #120, though I haven't brought all of those PR's in, they are definitely still separate things.

I hope you can get round to looking at this as it'll bring it in to line with Foreman which made this change a while back (ddollar/foreman/pull/246).

Any problems/thoughts, just let me know.

Regards,
iain

@abitrolly
Copy link

This needs to be rebased over the merged #117.

schwarz-b5c and others added 6 commits April 2, 2020 10:29
There are plenty of environments without BASH, but with sh.
These could have caused problems: $!"\
- exit if directory doesn't exist
- source .profile only if it exists
- don't suppress stderr while doing that
Injects Makefile arg VERSION into main.Version with default value of "dev".
The output padding is based upon the longest name of processes and thus never
changes at runtime so we can optimize things a bit by only creating the output
formatter pattern once at startup.
@yb66
Copy link
Author

yb66 commented Oct 14, 2020

Bump

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.

None yet

5 participants