Skip to content

Ignore user's .bash_profile #15

@bryphe

Description

@bryphe

For esy, with the bootstrapped builds, we hit issues where the users .bash_profile (which initializes the OPAM repo), can collide with our build commands - bringing in parts of the OPAM environment that break the build.

We should have an option or a way to pass-through arguments to bash, to ignore the .bash_profile.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions