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

os: fix os.join_path('/', 'file.txt') and os.join_path_single('/', 'file.txt') (fix #20231) #21429

Closed
wants to merge 7 commits into from

Commits on May 5, 2024

  1. Configuration menu
    Copy the full SHA
    0ac4ba7 View commit details
    Browse the repository at this point in the history
  2. os: extract join_path_test.v for easier testing of just os.join_path …

    …and os.join_path_single, fix a/./b.txt -> a/b.txt without allocations
    spytheman committed May 5, 2024
    Configuration menu
    Copy the full SHA
    30c3491 View commit details
    Browse the repository at this point in the history
  3. fix js backend failures

    spytheman committed May 5, 2024
    Configuration menu
    Copy the full SHA
    3fd85fb View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    faa21d5 View commit details
    Browse the repository at this point in the history
  5. unify the behaviour of os.join_path and os.join_path_single for more …

    …edge cases; add more tests
    spytheman committed May 5, 2024
    Configuration menu
    Copy the full SHA
    b5f9123 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    c86eeb5 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    7fe84c5 View commit details
    Browse the repository at this point in the history