aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorAdam Janovsky2022-05-01 20:11:03 +0200
committerAdam Janovsky2022-05-01 20:11:03 +0200
commit84c87543cd63bf4e04be7645c08ee8d6a80509a1 (patch)
tree721d1fdd25eae843d603ab5a30e0f5fa07a2df95
parentca35699154156d1ff3c65a6c44b36f157a563ade (diff)
downloadsec-certs-84c87543cd63bf4e04be7645c08ee8d6a80509a1.tar.gz
sec-certs-84c87543cd63bf4e04be7645c08ee8d6a80509a1.tar.zst
sec-certs-84c87543cd63bf4e04be7645c08ee8d6a80509a1.zip
fix consq. of moving dockerfile
-rw-r--r--.github/workflows/release.yml6
-rw-r--r--docker/Dockerfile57
-rw-r--r--docs/installation.md2
3 files changed, 4 insertions, 61 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 9063beaa..3a061417 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -1,5 +1,5 @@
name: Release (PyPi, DockerHub)
-on:
+on:
release:
types: [published]
@@ -27,7 +27,7 @@ jobs:
docker_release:
name: Release on DockerHub
runs-on: ubuntu-latest
- if: github.repository == 'crocs-muni/sec-certs'
+ if: github.repository == 'crocs-muni/sec-certs'
steps:
- name: Set up QEMU
uses: docker/setup-qemu-action@v1
@@ -47,6 +47,6 @@ jobs:
id: docker_build
uses: docker/build-push-action@v2
with:
- file: docker/Dockerfile
+ file: Dockerfile
push: true
tags: ${{ steps.meta.outputs.tags }}
diff --git a/docker/Dockerfile b/docker/Dockerfile
deleted file mode 100644
index eaf2d326..00000000
--- a/docker/Dockerfile
+++ /dev/null
@@ -1,57 +0,0 @@
-FROM ubuntu:jammy-20220428
-
-ENV USER="user"
-ENV NB_UID=1000
-ENV HOME /home/${USER}
-
-#installing dependencies
-RUN apt-get update
-RUN apt-get install python3 -y
-RUN apt-get install python3-pip -y
-RUN apt-get install python3-venv -y
-RUN apt-get install git -y
-RUN apt-get install curl -y
-
-# Install dependencies fo PyPDF2 and pdftotext
-RUN DEBIAN_FRONTEND="noninteractive" apt-get -y install tzdata
-RUN apt-get install build-essential libpoppler-cpp-dev pkg-config python3-dev -y
-RUN apt-get install libqpdf-dev -y
-RUN apt-get install default-jdk -y
-RUN apt-get install graphviz -y
-
-RUN adduser --disabled-password \
- --gecos "Default user" \
- --uid ${NB_UID} \
- ${USER}
-
-RUN chown -R ${NB_UID} ${HOME}
-USER ${USER}
-WORKDIR ${HOME}
-
-# Download only snapshot of repository
-RUN \
- curl -L https://api.github.com/repos/crocs-muni/sec-certs/tarball/main > sec-certs.tar.gz && \
- mkdir sec-certs && \
- tar zxf sec-certs.tar.gz --strip-components=1 --directory sec-certs && \
- rm sec-certs.tar.gz
-
-WORKDIR ${HOME}/sec-certs
-
-# Create virtual environment
-ENV VENV_PATH=${HOME}/venv
-RUN python3 -m venv ${VENV_PATH}
-ENV PATH="${VENV_PATH}/bin:$PATH"
-
-# Install dependencies, notebook is because of mybinder.org
-RUN \
- pip3 install -U pip && \
- pip3 install wheel && \
- pip3 install -r requirements/requirements.txt && \
- pip3 install --no-cache notebook jupyterlab && \
- pip3 install -e .
-
-# #just to be sure that pdftotext is in $PATH
-ENV PATH /usr/bin/pdftotext:${PATH}
-
-# # Run the application:
-# CMD ["python3", "./cc_cli.py"]
diff --git a/docs/installation.md b/docs/installation.md
index 236a9dc9..8d71a170 100644
--- a/docs/installation.md
+++ b/docs/installation.md
@@ -22,7 +22,7 @@ source venv/bin/activate
pip install -e .
```
-Alternatively, our Our [Dockerfile](https://github.com/crocs-muni/sec-certs/blob/main/docker/Dockerfile) represents a reproducible way of setting up the environment.
+Alternatively, our Our [Dockerfile](https://github.com/crocs-muni/sec-certs/blob/main/Dockerfile) represents a reproducible way of setting up the environment.
## Dependencies