diff options
Diffstat (limited to 'docker')
-rw-r--r-- | docker/README | 4 | ||||
-rwxr-xr-x | docker/appimage-build | 26 | ||||
-rwxr-xr-x | docker/appimage-prepare | 14 |
3 files changed, 0 insertions, 44 deletions
diff --git a/docker/README b/docker/README deleted file mode 100644 index 3f6947e..0000000 --- a/docker/README +++ /dev/null @@ -1,4 +0,0 @@ -This is a collection of scripts to use Docker for specific tasks: - -* appimage-prepare - Build a Docker image to use for creating an AppImage. -* appimage-build - Create an AppImage for pg_top. diff --git a/docker/appimage-build b/docker/appimage-build deleted file mode 100755 index e094692..0000000 --- a/docker/appimage-build +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh - -which docker > /dev/null 2>&1 -if [ $? -ne 0 ]; then - echo "docker is not in your path" - exit 1 -fi - -DOCKER_DIR=`dirname $0` -DOCKER_DIR=`readlink -f $DOCKER_DIR` - -DOCKER_TAG="pg_top-appimage" - -# Use the return code from `docker inspect` to determine if the docker image -# needs to be created. -docker inspect $DOCKER_TAG > /dev/null -if [ $? -ne 0 ]; then - ${DOCKER_DIR}/appimage-prepare || exit 1 -fi - -UID=`id -u` -GID=`id -g` - -docker run --rm -v ${DOCKER_DIR}/..:/usr/local/src/pg_top:rw \ - -w /usr/local/src/pg_top -u ${UID}:${GID} $DOCKER_TAG \ - make appimage-docker diff --git a/docker/appimage-prepare b/docker/appimage-prepare deleted file mode 100755 index 8e1ae76..0000000 --- a/docker/appimage-prepare +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -which docker > /dev/null 2>&1 -if [ $? -ne 0 ]; then - echo "docker is not in your path" - exit 1 -fi - -DOCKER_DIR=`dirname $0` -DOCKER_DIR=`readlink -f $DOCKER_DIR` - -DOCKER_TAG="pg_top-appimage" - -(cd $DOCKER_DIR/.. && docker build -t $DOCKER_TAG -f Dockerfile.appimage .) |