diff options
| author | jade <lix@jade.fyi> | 2024-06-25 22:18:26 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@localhost> | 2024-06-25 22:18:26 +0000 |
| commit | 4ac2c496d499a4a0e2d64edf32eb855268e7aa8d (patch) | |
| tree | af0831bed7ee18bbd86723cf08c617d8af4bfd88 /doc | |
| parent | aceef1368297b02d737f5437ec64d625485afd6e (diff) | |
| parent | c7af89c79771a6d4eb84baa6cd9b7551b3a84a4b (diff) | |
Merge "change shebangs of all .sh scripts to bash" into main
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/manual/process-includes.sh | 2 | ||||
| -rwxr-xr-x | doc/manual/render-manpage.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/process-includes.sh b/doc/manual/process-includes.sh index 51ac67acb..b35a0d307 100755 --- a/doc/manual/process-includes.sh +++ b/doc/manual/process-includes.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -euo pipefail diff --git a/doc/manual/render-manpage.sh b/doc/manual/render-manpage.sh index 7d83253cb..65a9c124e 100755 --- a/doc/manual/render-manpage.sh +++ b/doc/manual/render-manpage.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -euo pipefail |