From 87731c5c0397239b25ce447b9dc7cdcb6eab78d3 Mon Sep 17 00:00:00 2001
From: Greg Hogan <gregjhogan@gmail.com>
Date: Mon, 6 Nov 2023 19:11:22 -0800
Subject: [PATCH] probably shouldn't have moved that

---
 Dockerfile.agnos | 3 ---
 build_system.sh  | 1 +
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/Dockerfile.agnos b/Dockerfile.agnos
index d469c343..2f15f7d1 100644
--- 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
index 8002fd51..899e072f 100755
--- 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"