diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-08-22 13:39:14 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-08-22 13:39:14 (EDT) |
| commit | a4c31d2f8e529c740506609fc6a4782a9fdfa03c (patch) | |
| tree | 385ba4721b90b677936303b2bf28818271acff45 | |
| parent | 1addd05b62e1ca7f96dc914f7a159d39a6f73995 (diff) | |
shell: Read profile ID from os-release
| -rw-r--r-- | lib/cmd/shell.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 |