-
Notifications
You must be signed in to change notification settings - Fork 1
/
development.Dockerfile
74 lines (55 loc) · 2.04 KB
/
development.Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
FROM ovgudrivingswarm/turtlebot:latest
ARG DEBIAN_FRONTEND=noninteractive
ARG ROS_VERSION=foxy
ARG NODE_VERSION=12.x
USER root
# Unminimize
RUN yes | unminimize &&\
apt-get update &&\
apt-get install -y --no-install-recommends man-db
# Dev-Packages
#RUN apt-get update &&\
# apt-get install -y --no-install-recommends\
# VNC Server
# novnc + websockify
RUN apt-get install -y --no-install-recommends \
x11vnc xvfb x11-xserver-utils \
novnc websockify
RUN ln -s /usr/share/novnc/vnc.html /usr/share/novnc/index.html &&\
ln -s /usr/share/novnc/ /srv/novnc
# xfce-desktop
# TODO configs & background
RUN apt-get install -y --no-install-recommends \
xfce4 thunar ristretto mousepad mpv \
xfce4-screenshooter \
xfce4-whiskermenu-plugin xfce4-cpugraph-plugin \
pop-icon-theme
# (ROS) utilities
RUN apt-get install -y --no-install-recommends \
ros-$ROS_VERSION-rqt ros-$ROS_VERSION-rqt-common-plugins \
tilix epiphany-browser \
dbus-x11 gnome-keyring \
wget psmisc \
vim-tiny feh \
evince file-roller \
htop fd-find silversearcher-ag
# Theia IDE
RUN curl -sSL https://deb.nodesource.com/gpgkey/nodesource.gpg.key | sudo apt-key add - &&\
DISTRO="$(lsb_release -s -c)" &&\
echo "deb https://deb.nodesource.com/node_$NODE_VERSION $DISTRO main" | sudo tee /etc/apt/sources.list.d/nodesource.list &&\
echo "deb-src https://deb.nodesource.com/node_$NODE_VERSION $DISTRO main" | sudo tee -a /etc/apt/sources.list.d/nodesource.list &&\
apt-get update
RUN apt-get install nodejs && npm install -g yarn
COPY development/theia.package.json /opt/theia/package.json
RUN cd /opt/theia && yarn
RUN cd /opt/theia && yarn theia build
# Required for XML files, Python etc.
RUN apt-get install -y openjdk-14-jre pylint
# Required for Chrome
ENV THEIA_WEBVIEW_EXTERNAL_ENDPOINT={{hostname}}
VOLUME /home/docker/.theia
# Setup Script
COPY development/setup-desktop.sh /usr/local/bin/setup-desktop.sh
ENTRYPOINT []
CMD ["/usr/local/bin/setup-desktop.sh"]
RUN chown -R docker /home/docker/