[docker] Use Ubuntu 20.04. (#2916)

This commit is contained in:
Fabien-B
2022-10-06 20:19:39 +02:00
committed by GitHub
parent 2a580c0c7e
commit cef999d381
+7 -7
View File
@@ -1,4 +1,4 @@
FROM ubuntu:18.04
FROM ubuntu:20.04
LABEL maintainer="felix.ruess@gmail.com"
# Add Tini
@@ -9,22 +9,22 @@ RUN chmod +x /tini
# setup environment
ENV LANG C.UTF-8
ARG DEBIAN_FRONTEND=noninteractive
# add Paparazzi PPA
RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y software-properties-common
RUN apt-get update && apt-get install -y software-properties-common
RUN add-apt-repository ppa:paparazzi-uav/ppa
RUN add-apt-repository ppa:team-gcc-arm-embedded/ppa
#RUN add-apt-repository ppa:team-gcc-arm-embedded/ppa
# setup tzdata
ENV TZ=Etc/UTC
RUN ln -fs /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
RUN DEBIAN_FRONTEND=noninteractive apt-get -y install tzdata
RUN apt-get -y install tzdata
# install paparazzi-dev which pull in the dependencies
# also install cross compiler and some stuff for X
RUN DEBIAN_FRONTEND=noninteractive \
apt-get update && apt-get install -y \
RUN apt-get update && apt-get install -y \
cmake \
gcc-arm-embedded \
libcanberra-gtk-module \
paparazzi-dev \
paparazzi-jsbsim \