From a4c31d2f8e529c740506609fc6a4782a9fdfa03c Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Fri, 22 Aug 2014 13:39:14 -0400
Subject: shell: Read profile ID from os-release

---
diff --git a/lib/cmd/shell.sh b/lib/cmd/shell.sh
index 45835a3..7fe7509 100644
--- a/lib/cmd/shell.sh
+++ b/lib/cmd/shell.sh
@@ -31,8 +31,8 @@ cmd_shell_main()
 
 	root="${1}"
 
-	# FIXME: This should be recorded in the chroot.
-	profile_set 'proteanos'
+	. "${root}/etc/os-release"
+	profile_set "${ID}"
 
 	chroot_mount "${root}"
 	chroot "${root}" /bin/sh
--
cgit v0.9.1