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

Error out on no devices in dir #6

Merged
merged 3 commits into from
May 22, 2024
Merged

Error out on no devices in dir #6

merged 3 commits into from
May 22, 2024

Commits on Apr 30, 2024

  1. Error out on no devices in dir

    @jonnystoten
    jonnystoten committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    aca2868 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Write errors to stderr and exit on fatal error

    @jonnystoten
    jonnystoten committed May 7, 2024
    Configuration menu
    Copy the full SHA
    118ddd0 View commit details
    Browse the repository at this point in the history

  2. Filter out non-directories up front 

    This way we error when given a path to a dir which contains files but
doesn't contain directories.
    @jonnystoten
    jonnystoten committed May 7, 2024
    Configuration menu
    Copy the full SHA
    80fa7fa View commit details
    Browse the repository at this point in the history