Skip to content

Use sh instead of bash#122

Closed
yb66 wants to merge 9 commits into
ddollar:masterfrom
yb66:master
Closed

Use sh instead of bash#122
yb66 wants to merge 9 commits into
ddollar:masterfrom
yb66:master

Conversation

@yb66

@yb66 yb66 commented Sep 21, 2019

Copy link
Copy Markdown

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
Copy Markdown

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
sehrope added 3 commits April 12, 2020 09:22
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

yb66 commented Oct 14, 2020

Copy link
Copy Markdown
Author

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.

5 participants