diff options
author | Petr Štetiar <ynezz@true.cz> | 2022-09-05 09:04:27 +0200 |
---|---|---|
committer | Petr Štetiar <ynezz@true.cz> | 2022-09-20 12:14:54 +0200 |
commit | 63ed733d30153667d7d645ab0ee3f5614089c759 (patch) | |
tree | 1694dad088978378b8b09f662a55791be823e75b /.github/workflows/scripts | |
parent | 0a7269584478e164ff185864292452af35abec1b (diff) | |
download | upstream-63ed733d30153667d7d645ab0ee3f5614089c759.tar.gz upstream-63ed733d30153667d7d645ab0ee3f5614089c759.tar.bz2 upstream-63ed733d30153667d7d645ab0ee3f5614089c759.zip |
ci: move scripts into separate directory
So it's clean and tidy.
Signed-off-by: Petr Štetiar <ynezz@true.cz>
Diffstat (limited to '.github/workflows/scripts')
-rw-r--r-- | .github/workflows/scripts/ci_helpers.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/.github/workflows/scripts/ci_helpers.sh b/.github/workflows/scripts/ci_helpers.sh new file mode 100644 index 0000000000..2f9daf81e2 --- /dev/null +++ b/.github/workflows/scripts/ci_helpers.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +color_out() { + printf "\e[0;$1m%s\e[0;0m\n" "$2" +} + +success() { + color_out 32 "$1" +} + +info() { + color_out 36 "$1" +} + +err() { + color_out 31 "$1" +} + +warn() { + color_out 33 "$1" +} + +err_die() { + err "$1" + exit 1 +} |