fix Dockerfile to set host time zone, UID, GID

DCO 1.1 Signed-off-by: Tatsuya Ishihara <[email protected]>

docker/driver/Dockerfile

@@ -141,3 +141,8 @@ FROM build as final
 
 COPY --from=cache_ws $HOME/driver_ws/install $HOME/driver_ws/install
 COPY --from=cache_ws $HOME/driver_ws/script $HOME/driver_ws/script
+
+# change location of ros base
+COPY ros_entrypoint.sh /ros_entrypoint.sh
+RUN sed -i 's:custom_ws:underlay_ws:' /ros_entrypoint.sh
+RUN chmod +x /ros_entrypoint.sh

docker/driver/ros_entrypoint.sh

@@ -0,0 +1,30 @@
+#!/bin/bash
+set -e
+
+# Default values
+HOST_UID=${HOST_UID:-1000}
+HOST_GID=${HOST_GID:-1000}
+HOST_TZ=${HOST_TZ:-UTC}
+
+if [[ $TZ != $HOST_TZ ]]; then
+    # Setting up timezone
+    sudo ln -snf /usr/share/zoneinfo/$HOST_TZ /etc/localtime
+    echo $HOST_TZ | sudo tee /etc/timezone
+    export TZ=$HOST_TZ
+fi
+
+CONT_UID=$(id -u developer)
+CONT_GID=$(id -g developer)
+if [[ $CONT_UID -ne $HOST_UID ]] || [[ $CONT_GID -ne $HOST_GID ]]; then
+    # Update user and group ID to match host
+    sudo usermod -u $HOST_UID developer
+    sudo groupmod -g $HOST_GID developer
+    chown -R "$HOST_UID:$HOST_GID" /home/developer
+fi
+
+# Source ROS setup script
+source "/opt/custom_ws/install/setup.bash"
+
+WORKDIR=$(pwd)
+
+exec gosu developer bash -c "cd $WORKDIR && exec $*"