diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/utils/gh-ready-check | 3 | ||||
| -rwxr-xr-x | scripts/utils/print-and-run | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/scripts/utils/gh-ready-check b/scripts/utils/gh-ready-check index 97c0ee6539..164b5de903 100755 --- a/scripts/utils/gh-ready-check +++ b/scripts/utils/gh-ready-check @@ -1,5 +1,8 @@ #!/usr/bin/env bash +# This script controls that the gh (GitHub CLI) command is installed and authenticated. This can be +# called in the beginning of all scripts depending on gh. + set -eu SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" diff --git a/scripts/utils/print-and-run b/scripts/utils/print-and-run index ab5443ed2e..b323040f3c 100755 --- a/scripts/utils/print-and-run +++ b/scripts/utils/print-and-run @@ -1,5 +1,8 @@ #!/usr/bin/env bash +# This is a small utility script that can be sourced to provide a function that prints its arguments +# and then calls them as a command, e.g. `print_and_run sleep 5`. + function print_and_run { echo "+ $*" "$@" |