From daa9e35ada83e922b01afd8d029d660835fc4ea9 Mon Sep 17 00:00:00 2001
From: Serge Schneider <serge@raspberrypi.org>
Date: Fri, 3 Mar 2017 13:22:06 +0000
Subject: [PATCH] Copy ssh and ssh.txt to boot partition

---
 export-noobs/00-release/files/partition_setup.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/export-noobs/00-release/files/partition_setup.sh b/export-noobs/00-release/files/partition_setup.sh
index edc66b8..02a7520 100644
--- a/export-noobs/00-release/files/partition_setup.sh
+++ b/export-noobs/00-release/files/partition_setup.sh
@@ -16,6 +16,14 @@ sed /tmp/1/cmdline.txt -i -e "s|root=/dev/[^ ]*|root=${part2}|"
 sed /tmp/2/etc/fstab -i -e "s|^.* / |${part2}  / |"
 sed /tmp/2/etc/fstab -i -e "s|^.* /boot |${part1}  /boot |"
 
+if [ -e /mnt/ssh ]; then
+  cp /mnt/ssh /tmp/1/
+fi
+
+if [ -e /mnt/ssh.txt ]; then
+  cp /mnt/ssh.txt /tmp/1/
+fi
+
 if ! grep -q resize /proc/cmdline; then
   sed -i 's| quiet init=/usr/lib/raspi-config/init_resize.sh||' /tmp/1/cmdline.txt
 fi