diff options
author | 2020-03-03 04:47:49 +0100 | |
---|---|---|
committer | 2020-03-03 04:47:49 +0100 | |
commit | 6740f6fa208042e6986a81d6cf5d4006e41e43ec (patch) | |
tree | 696de349df8fcfaa826ba7773eced711c7a87d7d | |
parent | Fix the permissions during update (diff) | |
download | planet-6740f6fa208042e6986a81d6cf5d4006e41e43ec.tar.gz planet-6740f6fa208042e6986a81d6cf5d4006e41e43ec.tar.bz2 planet-6740f6fa208042e6986a81d6cf5d4006e41e43ec.zip |
Split the planet and container updatev2.0.4
The planet data and container image can be updated
seperately now. The container image may not be updated
as regular as the planet data.
Signed-off-by: Max Magorsch <arzano@gentoo.org>
-rw-r--r-- | rebuild-container.sh | 8 | ||||
-rwxr-xr-x | update-planet.sh (renamed from update.sh) | 8 |
2 files changed, 10 insertions, 6 deletions
diff --git a/rebuild-container.sh b/rebuild-container.sh new file mode 100644 index 0000000..56d7b55 --- /dev/null +++ b/rebuild-container.sh @@ -0,0 +1,8 @@ +#!/bin/sh + +USER=${1:-gplanet} +GROUP=${2:-gplanet} + +docker build --build-arg USER_ID=$(id -u $USER) \ + --build-arg GROUP_ID=$(id -g $GROUP) \ + -t gentoo/planet-pluto:latest . diff --git a/update.sh b/update-planet.sh index 8ca43c3..7e4792f 100755 --- a/update.sh +++ b/update-planet.sh @@ -1,15 +1,11 @@ #!/bin/sh -USER=${1:gplanet} -GROUP=${2:gplanet} +USER=${1:-gplanet} +GROUP=${2:-gplanet} mkdir -p htdocs data chown -R $USER:$GROUP htdocs data -docker build --build-arg USER_ID=$(id -u $USER) \ - --build-arg GROUP_ID=$(id -g $GROUP) \ - -t gentoo/planet-pluto:latest . - docker run --privileged \ --mount type=bind,source="$(pwd)"/htdocs,target=/var/www/planet.gentoo.org/build \ --mount type=bind,source="$(pwd)"/data,target=/var/www/planet.gentoo.org/data \ |