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

improve performance on WSL2 #504

Merged
merged 6 commits into from
Sep 22, 2024
Merged

improve performance on WSL2 #504

merged 6 commits into from
Sep 22, 2024

Commits on Sep 21, 2024

  1. improve performance on WSL2 akinomyoga#96

    @musou1500
    musou1500 committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    8c3da35 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. add ble/base/is-wsl to detect WSL

    @musou1500
    musou1500 committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    4e1dd4a View commit details
    Browse the repository at this point in the history

  2. move no_empty_cmd_completion to appropriate line

    @musou1500
    musou1500 committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    1197070 View commit details
    Browse the repository at this point in the history

  3. accept suggestions

    @musou1500
    musou1500 committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    97acc07 View commit details
    Browse the repository at this point in the history

  4. use slow_compgen only if $PATH includes /mnt

    @musou1500
    musou1500 committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    e48a925 View commit details
    Browse the repository at this point in the history

  5. fix wrong if condition for wsl detection 

    Co-authored-by: Koichi Murase <[email protected]>
    @musou1500 @akinomyoga
    musou1500 and akinomyoga authored Sep 22, 2024
    Configuration menu
    Copy the full SHA
    2ba9a80 View commit details
    Browse the repository at this point in the history