Skip to content
Snippets Groups Projects
Select Git revision
  • 17873785a9c435c0ea84800d93f962614f37c447
  • master default
  • object
  • develop protected
  • private_algos
  • cuisine
  • SMOTE
  • revert-76c4cca5
  • archive protected
  • no_graphviz
  • 0.0.1
11 results

ResultAnalysis.py

Blame
  • Dockerfile 1.66 KiB
    ARG BASE_CONTAINER=brunoe/jupyterutln-default:develop
    FROM $BASE_CONTAINER
    
    LABEL maintainer="Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>"
    
    ENV PLANTUML_VERSION 1.2022.1
    ENV PLANTUML_SHA1 ac9847dac6687f5079793952cf981f8d75ff4515
    USER root
    
    # Install minimal dependencies 
    RUN apt-get update && apt-get install -y --no-install-recommends\
    	coreutils \
    	curl \
    	dnsutils \
    	gnupg \
    	graphviz \
    	inkscape \
    	iputils-ping \
    	net-tools \
    	pandoc \
    	postgresql-client \
    	procps \
    	tree \
    	ttf-bitstream-vera \
    	ttf-droid \
    	ttf-droid-nonlatin \
    	zsh && \
      apt-get clean && rm -rf /var/lib/apt/lists/* && rm -rf /var/cache/apt
    
    # Postgresql python library
    # SQL support for ipython and PlantUML
    RUN conda install --quiet --yes psycopg2=2.9.1 && \
    	conda install -y -c conda-forge postgresql=13.3 pgspecial=1.13.0 && \
        	conda clean -tipsy && \
    	pip install ipython-sql==0.4.0 iplantuml==0.1.1 mocodo_magic==1.0.3 && \
    	fix-permissions "${CONDA_DIR}" && \
    	fix-permissions "/home/${NB_USER}"
    
    RUN curl -L https://sourceforge.net/projects/plantuml/files/plantuml.${PLANTUML_VERSION}.jar/download -o /usr/local/bin/plantuml.jar && \
        echo "$PLANTUML_SHA1 */usr/local/bin/plantuml.jar" | sha1sum -c - 
    
    ENV PGDATA=/home/jovyan/work/pgdata
    
    COPY initDB.sh /usr/local/bin/before-notebook.d/ 
    
    RUN ipython profile create && \
    	sed -i -e '/c.InteractiveShellApp.extensions = / s/= [^\]]*/= ["mocodo_magic","sql"]/' -e 's/# \(c.InteractiveShellApp.extensions\)/\1/' ~/.ipython/profile_default/ipython_config.py
    
    # Switch back to jovyan to avoid accidental container runs as root
    USER $NB_UID
    # RUN mkdir -p /home/jovyan/.ssh && ssh-keyscan -t rsa github.com > /home/jovyan/.ssh/known_hosts
    WORKDIR /home/jovyan