diff options
| -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 \ |