diff options
author | Adrien Smith | 2019-05-01 18:43:59 -0600 |
---|---|---|
committer | Adrien Smith | 2019-05-04 12:23:01 -0600 |
commit | 343f9b0c45cb001dbc715ec5a4328a6557ffda00 (patch) | |
tree | 786e2a0850262e44d14f1870c50baf5544af032e | |
parent | 68fe797f86d069b2c70d707166e48a5d88219068 (diff) | |
download | aur-343f9b0c45cb001dbc715ec5a4328a6557ffda00.tar.gz |
Improve Docker config and script
-rw-r--r-- | Dockerfile | 4 | ||||
-rwxr-xr-x | docker-mksrcinfo | 8 | ||||
-rwxr-xr-x | docker-srcinfo | 8 |
3 files changed, 9 insertions, 11 deletions
diff --git a/Dockerfile b/Dockerfile index b5cf5d198152..fef5d46541e3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,7 +1,5 @@ FROM archlinux/base:latest -RUN pacman -Sy --noconfirm --needed base-devel - -RUN mkdir /src +RUN pacman -Syu --noconfirm --needed base-devel WORKDIR /src diff --git a/docker-mksrcinfo b/docker-mksrcinfo deleted file mode 100755 index 38ff323def6f..000000000000 --- a/docker-mksrcinfo +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh -# -# Runs mksrcinfo from within the container. Allows to make a release from -# another Linux operating system using Docker. -# - -id=$(docker build -q .) -docker run -ti --rm --volume "$(pwd):/src" --user="$(id -u):$(id -g)" "$id" makepkg --printsrcinfo > .SRCINFO diff --git a/docker-srcinfo b/docker-srcinfo new file mode 100755 index 000000000000..4f63bafd5deb --- /dev/null +++ b/docker-srcinfo @@ -0,0 +1,8 @@ +#!/bin/sh +# +# Updates .SRCINFO from within the container. Allows making a release from +# another Linux operating system using Docker. +# + +id=$(docker build -q .) +docker run --rm --volume "$(pwd):/src" --user="$(id -u):$(id -g)" "$id" makepkg --printsrcinfo > .SRCINFO |