2023-04-14 09:20:44 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
if [[ "$1" == "" ]]; then
|
|
|
|
echo "Usage: ${0##*/} <script-name>"; exit 2
|
|
|
|
fi
|
|
|
|
|
2024-05-22 07:51:04 +00:00
|
|
|
set -o errexit
|
|
|
|
set -o nounset
|
|
|
|
set -o pipefail
|
2023-04-14 09:20:44 +00:00
|
|
|
|
|
|
|
cat > "${1}" << EOF
|
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2024-05-22 07:51:04 +00:00
|
|
|
set -o errexit
|
|
|
|
set -o nounset
|
|
|
|
set -o pipefail
|
2023-04-14 09:20:44 +00:00
|
|
|
|
2024-05-22 07:51:04 +00:00
|
|
|
echo "${1}"
|
2023-04-14 09:20:44 +00:00
|
|
|
EOF
|
|
|
|
|
|
|
|
chmod +x "${1}"
|