probably shouldn't have moved that

commaai · Nov 7, 2023 · 87731c5 · 87731c5
1 parent b384e08
commit 87731c5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/Dockerfile.agnos b/Dockerfile.agnos
@@ -160,9 +160,6 @@ RUN cd /tmp/ && \
 COPY ./userspace/files/linux-headers-4.9.103+_4.9.103+-1_arm64.deb /tmp/
 RUN dpkg -i /tmp/linux-headers-4.9.103+_4.9.103+-1_arm64.deb
 
-# use hostname from kernel everywhere (nomrally transient)
-RUN rm /etc/hostname && ln -s /proc/sys/kernel/hostname /etc/hostname
-
 # Weston with hacked touch rotate and color correction
 COPY ./userspace/files/weston /usr/bin/weston
 COPY ./userspace/files/gl-renderer.so /usr/lib/arm-linux-gnueabihf/weston

diff --git a/build_system.sh b/build_system.sh
@@ -68,6 +68,7 @@ sudo tar -xf $BUILD_DIR/filesystem.tar > /dev/null
 # Add hostname and hosts. This cannot be done in the docker container...
 echo "Setting network stuff"
 HOST=tici
+sudo bash -c "rm /etc/hostname && ln -s /proc/sys/kernel/hostname /etc/hostname"
 sudo bash -c "echo \"127.0.0.1    localhost.localdomain localhost\" > etc/hosts"
 sudo bash -c "echo \"127.0.0.1    $HOST\" >> etc/hosts"