From 47aca46bb8e9a37340bd9b99e0e4741a544aaa94 Mon Sep 17 00:00:00 2001
From: Claude Becker <becker@phys.ethz.ch>
Date: Tue, 23 Dec 2014 21:41:32 +0100
Subject: [PATCH] simpler command to find harware model

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

diff --git a/Readme.markdown b/Readme.markdown
index b68a645..5357c97 100644
--- a/Readme.markdown
+++ b/Readme.markdown
@@ -16,7 +16,7 @@ Even though there's no guarantee that this list is correct or complete, some lin
 You can use the following terminal commands to determine the model and board ID of your computer:
 
 ```sh
-system_profiler SPHardwareDataType | grep 'Model Identifier' | awk -F: '{ print $2 }'
+sysctl hw.model | awk '{ print $2 }'
 ioreg -l | grep board-id | awk -F\" '{ print $4 }'
 ```