From f3452fd387e742ec3db4f9195aae0c549b209e4d Mon Sep 17 00:00:00 2001
From: Alex Bradbury <asb@asbradbury.org>
Date: Sun, 16 Sep 2012 19:47:17 +0100
Subject: [PATCH] reload raspi-config after a user-initiated update

---
 raspi-config | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/raspi-config b/raspi-config
index dd0d685..84d1415 100755
--- a/raspi-config
+++ b/raspi-config
@@ -213,8 +213,9 @@ do_boot_behaviour() {
 do_update() {
   apt-get update &&
   apt-get install raspi-config &&
-  printf "To start raspi-config again, do 'sudo raspi-config'. Now exiting\n"
-  exit 0
+  printf "Sleeping 5 seconds before reloading raspi-config\n" &&
+  sleep 5 &&
+  exec raspi-config
 }
 
 do_finish() {