From 439a1059873a5b17969e6513556ce18619aefc7b Mon Sep 17 00:00:00 2001
From: Claude Becker <becker@phys.ethz.ch>
Date: Sat, 18 Jan 2014 16:20:23 +0100
Subject: [PATCH] simpler command to find board-id

---
 Readme.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Readme.markdown b/Readme.markdown
index 26c774c..c1c28c0 100644
--- a/Readme.markdown
+++ b/Readme.markdown
@@ -15,7 +15,7 @@ You can use the following terminal commands to determine the model and board ID
 
 ```sh
 system_profiler SPHardwareDataType | grep 'Model Identifier' | awk -F: '{ print $2 }'
-ioreg -p IODeviceTree -r -n / -d 1 | grep board-id | awk -F\" '{ print $4 }'
+ioreg -l | grep board-id | awk -F\" '{ print $4 }'
 ```
 
 Download the AHT for your computer model and use the contents to restore the ``/System/Library/CoreServices/.diagnostics`` folder, then reboot while holding ``d`` to start the diagnostic tools.