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

build: fix file mode of shell scripts (644 -> 755) #5206

Merged
merged 1 commit into from
Jun 17, 2022

Commits on Jun 16, 2022

  1. build: fix file mode of shell scripts (644 -> 755)

    Some shell scripts are not executable, so fix their file modes:
    
        $ git grep -Elz '^#!/bin/(ba)?sh' | xargs -0 -I '{}' \
          chmod +x '{}'
    
    Files changed:
    
    * src/fgit/fgit-uninstall.sh
    * src/tools/extract_errnos.sh
    
    Note: I have manually checked that the files above are indeed intended
    to be executable directly and not just sourced, as a script of the
    latter kind could also contain a shebang (for example, to help ensure
    proper syntax highlighting).
    
    Misc: The affected files were added on commit e46dd3e ("git-install",
    2017-02-04) and on commit 081d1fb ("Add seccomp errno filter support",
    2015-09-23) / PR netblue30#66, respectively.
    kmk3 committed Jun 16, 2022
    Configuration menu
    Copy the full SHA
    8169369 View commit details
    Browse the repository at this point in the history