diff options
| author | Mike Frysinger <vapier@chromium.org> | 2018-05-14 08:34:34 -0400 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2018-05-31 21:34:32 +0200 |
| commit | 26cea65499f0d0d287b342987c501d076da166c5 (patch) | |
| tree | 8f4c778c9f4902c736e4d0fc4cda28e9334771a3 /scripts/print_encoding.sh | |
| parent | 6a4c9971896068c53fd5de71080b1c3c73777701 (diff) | |
| download | man-pages-26cea65499f0d0d287b342987c501d076da166c5.tar.gz | |
scripts: mark them executable
It's easier to run `./scripts/foo.sh ...` than
`bash ./scripts/foo.sh ...`. Mark them all +x to support that.
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'scripts/print_encoding.sh')
| -rwxr-xr-x[-rw-r--r--] | scripts/print_encoding.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/print_encoding.sh b/scripts/print_encoding.sh index d6afc3e916..d6afc3e916 100644..100755 --- a/scripts/print_encoding.sh +++ b/scripts/print_encoding.sh |