Skip to content

use pushd/popd when in bash#181

Merged
IgorTodorovskiIBM merged 2 commits intomainfrom
bash_install
Feb 14, 2023
Merged

use pushd/popd when in bash#181
IgorTodorovskiIBM merged 2 commits intomainfrom
bash_install

Conversation

@IgorTodorovskiIBM
Copy link
Copy Markdown
Member

To address zopencommunity/gitport#54

(FYI, in a future commit, I will be moving the deps code to zopen-build)

Comment thread bin/lib/zopen-install
cat <<ZZ >> "${name}/.depsenv"
if [ -f "../${dep}/.env" ]; then
cd "../${dep}" && . ./.env; cd -
if [[ \$(type echo) == 'echo is a shell builtin' ]]; then
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Looks good.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

may be pushd > /dev/null and popd >/dev/null to prevent the print out.

@IgorTodorovskiIBM IgorTodorovskiIBM merged commit e4a9c2c into main Feb 14, 2023
@MikeFultonDev MikeFultonDev deleted the bash_install branch March 19, 2023 03:16
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.

3 participants