Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 384a71a6 authored by ROUVREAU Vincent's avatar ROUVREAU Vincent
Browse files

Delete moved files

parent 0889cbd3
Branches
No related tags found
No related merge requests found
# Image de base
FROM ubuntu:latest
# Installation des packages C++ avec apt-get
RUN apt-get update && apt-get install --no-install-recommends -y \
ca-certificates \
curl \
vim \
make \
cmake \
g++ \
libcppunit-dev \
cppcheck \
lcov \
gcovr \
git \
&& rm -rf /var/lib/apt/lists/*
# Changement du repertoire courant
WORKDIR /devcpp
RUN gpg --keyserver ha.pool.sks-keyservers.net --recv-keys B42F6819007F00F88E364FD4036A9C25BF357DD4
RUN curl -o /usr/local/bin/gosu -SL "https://github.com/tianon/gosu/releases/download/1.4/gosu-$(dpkg --print-architecture)" \
&& curl -o /usr/local/bin/gosu.asc -SL "https://github.com/tianon/gosu/releases/download/1.4/gosu-$(dpkg --print-architecture).asc" \
&& gpg --verify /usr/local/bin/gosu.asc \
&& rm /usr/local/bin/gosu.asc \
&& chmod +x /usr/local/bin/gosu
COPY entrypoint.sh /usr/local/bin/entrypoint.sh
ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]
CMD ["/bin/bash"]
\ No newline at end of file
#!/bin/bash
USER_ID=${LOCAL_USER_ID:-9001}
useradd --shell /bin/bash -u $USER_ID -o -c "" -m user
export HOME=/devcpp
printf '%s\n\t%s\n\t%s\n' '[user]' 'email = ci@dummyuser.ci.inria.fr' 'name = CI' >> /home/user/.gitconfig
exec /usr/local/bin/gosu user "$@"
# Image de base
FROM ubuntu:latest
# Installation des packages Java avec apt-get
RUN apt-get update && apt-get install --no-install-recommends -y \
ca-certificates \
curl \
vim \
git \
openjdk-8-jdk \
maven \
&& rm -rf /var/lib/apt/lists/*
# Changement du repertoire courant
WORKDIR /devjava
# Git config
#RUN [[ -d /home/user ]] || mkdir /home/user
#RUN printf '%s\n\t%s\n\t%s\n' '[user]' 'email = ci@dummyuser.ci.inria.fr' 'name = CI' >> /home/user/.gitconfig
RUN gpg --keyserver ha.pool.sks-keyservers.net --recv-keys B42F6819007F00F88E364FD4036A9C25BF357DD4
RUN curl -o /usr/local/bin/gosu -SL "https://github.com/tianon/gosu/releases/download/1.4/gosu-$(dpkg --print-architecture)" \
&& curl -o /usr/local/bin/gosu.asc -SL "https://github.com/tianon/gosu/releases/download/1.4/gosu-$(dpkg --print-architecture).asc" \
&& gpg --verify /usr/local/bin/gosu.asc \
&& rm /usr/local/bin/gosu.asc \
&& chmod +x /usr/local/bin/gosu
COPY entrypoint.sh /usr/local/bin/entrypoint.sh
ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]
CMD ["/bin/bash"]
#!/bin/bash
USER_ID=${LOCAL_USER_ID:-9001}
useradd --shell /bin/bash -u $USER_ID -o -c "" -m user
export HOME=/devjava
printf '%s\n\t%s\n\t%s\n' '[user]' 'email = ci@dummyuser.ci.inria.fr' 'name = CI' >> /home/user/.gitconfig
exec /usr/local/bin/gosu user "$@"
# Image de base
FROM ubuntu:latest
# Installation des packages Python avec apt-get
RUN apt-get update && apt-get install --no-install-recommends -y \
ca-certificates \
curl \
vim \
python-pip \
python-setuptools \
python3 \
python3-pip \
python3-setuptools \
git \
&& pip install --upgrade pip \
&& pip install wheel \
&& pip install nose nosexcover pylint setuptools-lint pycodestyle tox mock \
&& pip3 install --upgrade pip \
&& pip3 install wheel \
&& pip3 install nose nosexcover pylint setuptools-lint pycodestyle tox mock \
&& rm -rf /var/lib/apt/lists/*
# Changement du repertoire courant
WORKDIR /devpython
RUN gpg --keyserver ha.pool.sks-keyservers.net --recv-keys B42F6819007F00F88E364FD4036A9C25BF357DD4
RUN curl -o /usr/local/bin/gosu -SL "https://github.com/tianon/gosu/releases/download/1.4/gosu-$(dpkg --print-architecture)" \
&& curl -o /usr/local/bin/gosu.asc -SL "https://github.com/tianon/gosu/releases/download/1.4/gosu-$(dpkg --print-architecture).asc" \
&& gpg --verify /usr/local/bin/gosu.asc \
&& rm /usr/local/bin/gosu.asc \
&& chmod +x /usr/local/bin/gosu
COPY entrypoint.sh /usr/local/bin/entrypoint.sh
ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]
CMD ["/bin/bash"]
#!/bin/bash
USER_ID=${LOCAL_USER_ID:-9001}
useradd --shell /bin/bash -u $USER_ID -o -c "" -m user
export HOME=/devpython
printf '%s\n\t%s\n\t%s\n' '[user]' 'email = ci@dummyuser.ci.inria.fr' 'name = CI' >> /home/user/.gitconfig
exec /usr/local/bin/gosu user "$@"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment