Browse Source
Error for when museo is missing, and OS doesn't have awscli nor apt
master
Thibaut Boustany
7 years ago
No known key found for this signature in database
GPG Key ID: 32475B11A2B13EEC
1 changed files with
5 additions and
0 deletions
-
scripts/release.sh
|
|
@ -25,6 +25,11 @@ fi |
|
|
|
|
|
|
|
|
if [ ! -d "static/fonts/museosans" ]; then |
|
|
if [ ! -d "static/fonts/museosans" ]; then |
|
|
if ! command -v aws ; then |
|
|
if ! command -v aws ; then |
|
|
|
|
|
if ! command -v apt ; then |
|
|
|
|
|
echo "Museo Sans is missing, and I can't fetch it (no aws, no apt)" >&2 |
|
|
|
|
|
exit 1 |
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
runJob "sudo apt install awscli" "installing aws cli..." "installed aws cli" "failed to install aws cli" |
|
|
runJob "sudo apt install awscli" "installing aws cli..." "installed aws cli" "failed to install aws cli" |
|
|
fi |
|
|
fi |
|
|
|
|
|
|
|
|
|
