From 2d65ec0ee0214139a5df1b3c8a01375f7deb380d Mon Sep 17 00:00:00 2001
From: "T. Joseph Carter" <tjcarter@spiritsubstance.com>
Date: Sun, 22 Apr 2018 18:25:49 -0700
Subject: [PATCH] system_ident should use Debian codename on Pi

---
 scripts/system_ident | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/system_ident b/scripts/system_ident
index 5aecd26..ca8aae4 100755
--- a/scripts/system_ident
+++ b/scripts/system_ident
@@ -12,7 +12,7 @@ if [[ -z $ras2_os || -z $ras2_arch ]]; then
 	ras2_os="unknown"
 	if hash lsb_release 2>/dev/null; then
 		if [[ -f /usr/bin/raspi-config ]]; then
-			ras2_os="rpi-$(lsb_release -rs)"
+			ras2_os="rpi-$(lsb_release -cs)"
 		else
 			case "$(lsb_release -is)" in
 				Debian)