Skip to content

Rethink pipefail/etc. usage #120

@dmtucker

Description

@dmtucker

do "$BASH" -u -o errexit -o pipefail -o xtrace "$script" "$config_repo" "$CONFIG_HOME" "$config_uninstall" 2>&1 | sed 's/^/ /'

#119 hacks around pipefail which highlights 2 issues:

  • Maybe install scripts shouldn't be run with pipefail (or other non-default options?).
  • If those scripts should run with those options, they should probably set them in the script so that manual invocations don't behave differently (since those are likely to omit options passed by install.bash.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions