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.

Sign up for GitHub

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

Jump to bottom

bashrc: re-include $PS1 priority #651

Merged
merged 1 commit into from Jul 12, 2016
Merged

bashrc: re-include $PS1 priority #651

merged 1 commit into from Jul 12, 2016

Commits on Jul 6, 2016

  1. bashrc: re-include $PS1 priority 

    6e6310d (filesystem: New specific variable MSYS2_PS1., 2016-05-01)
introduced the MSYS2_PS1 prompt script priority to allow multiple
device configurations.

Unfortunately, if MSYS2_PS1 was not set it overwrote the $PS1, even
when specifically set by the users configuration, such as provided in the
Git-for-Windows SDK (see git-for-windows/git#794 (comment))
and the monkey patch fix (git-for-windows/build-extra#122).

Introduce a priority order so that the user's $PS1 (if set) has an
intermediate priority between the MSYS2_PS1 and the default PS1.

Signed-off-by: Philip Oakley <philipoakley@iee.org>
    Philip Oakley committed Jul 6, 2016
    4 Configuration menu
    Copy the full SHA
    17a6004 View commit details
    Browse the repository at this point in the history