Commit 3552b2ad79bae3a1f0c4f6e138910ec70ed39549
1 parent
f4ef0dd6
Exists in
dev
Add new shell script for build (with verification that user isn't root)
Showing
1 changed file
with
13 additions
and
0 deletions
Show diff stats
... | ... | @@ -0,0 +1,13 @@ |
1 | + | |
2 | +[ ! -d "../vendor/guitastro/" ] && git clone https://gitlab.irap.omp.eu/guitastrolib/guitastro.git ../vendor/guitastro/ | |
3 | + | |
4 | +export CURRENT_UID=$(id -u) | |
5 | + | |
6 | +if [ $CURRENT_UID -eq 0 ] | |
7 | +then | |
8 | +echo "You can't run this script as root, use a normal user" | |
9 | +exit 1 | |
10 | +else | |
11 | +docker-compose build | |
12 | +fi | |
13 | + | |
... | ... |