Merge pull request #1226 from mdevlamynck/fix-scripts

Shell script improvements
pull/1242/head
Ethan P 4 years ago committed by GitHub
commit 3af7a6b082
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
assets/create.sh vendored

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
set -euo pipefail
ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"

@ -1,4 +1,6 @@
#!/bin/bash
#!/usr/bin/env bash
cd "$(dirname "${BASH_SOURCE[0]}")"
if ! which hyperfine > /dev/null 2>&1; then
echo "'hyperfine' does not seem to be installed."

@ -1,4 +1,6 @@
#!/bin/bash
#!/usr/bin/env bash
cd "$(dirname "${BASH_SOURCE[0]}")"
if ! which hyperfine > /dev/null 2>&1; then
echo "'hyperfine' does not seem to be installed."

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
set -eou pipefail

@ -1,4 +1,6 @@
#!/bin/bash
#!/usr/bin/env bash
cd "$(dirname "${BASH_SOURCE[0]}")"
python="python3"
if ! command -v python3 &>/dev/null; then python="python"; fi

Loading…
Cancel
Save