Merge pull request #1243 from tlaurion/give_console_output_to_users

This commit is contained in:
tlaurion 2022-11-15 11:13:45 -05:00 committed by GitHub
commit 5682a62675
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,11 +3,13 @@
die() {
echo >&2 "$*";
sleep 2;
exit 1;
}
warn() {
echo >&2 "$*";
sleep 1;
}
recovery() {