From a4c31d2f8e529c740506609fc6a4782a9fdfa03c Mon Sep 17 00:00:00 2001 From: P. J. McDermott 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