diff --git a/build_system.sh b/build_system.sh index 11ccac85..bc7fd395 100755 --- a/build_system.sh +++ b/build_system.sh @@ -68,7 +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 "ln -s /proc/sys/kernel/hostname etc/hostname" +sudo bash -c "ln -sf /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"