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.

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

No longer call into cmd.exe to execute a posix shell on windows #339

Merged
merged 10 commits into from
Jun 23, 2024
Merged

Commits on Jun 21, 2024

  1. Configuration menu
    Copy the full SHA
    0910c7b View commit details
    Browse the repository at this point in the history
  2. Update src/my_std.ml

    Co-authored-by: David Allsopp <[email protected]>
    2 people authored and Hugo Heuzard committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    95a5fda View commit details
    Browse the repository at this point in the history
  3. Allow to log shell used on windows

    Hugo Heuzard committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    afda9fe View commit details
    Browse the repository at this point in the history
  4. Handle quotes in windows PATH

    Hugo Heuzard committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    bc11d49 View commit details
    Browse the repository at this point in the history
  5. first search for a shell next to cygcheck.exe

    Hugo Heuzard committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    f40543e View commit details
    Browse the repository at this point in the history
  6. move bash trick next to bash call

    Hugo Heuzard committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    8b0520a View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. unify path env handling

    Hugo Heuzard committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    d834dd0 View commit details
    Browse the repository at this point in the history
  2. CR

    Hugo Heuzard committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    bfb1eb0 View commit details
    Browse the repository at this point in the history
  3. update depend

    Hugo Heuzard committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    4402763 View commit details
    Browse the repository at this point in the history
  4. CR

    Hugo Heuzard committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    389d255 View commit details
    Browse the repository at this point in the history