diff options
| author | P. J. McDermott <pj@pehjota.net> | 2016-01-16 15:28:14 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2016-01-16 15:28:14 (EST) |
| commit | 95f9793c7ce0ec17eb0c66b579bb809765165fe5 (patch) | |
| tree | 106b70801edb772a64c81d05855210ab8b8e15db /src/cmd/shell.sh | |
| parent | c0c320617f580e1bfa5aebca72ec5aeed3276fcf (diff) | |
cmd/*: Use profile_detect()
Diffstat (limited to 'src/cmd/shell.sh')
| -rw-r--r-- | src/cmd/shell.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmd/shell.sh b/src/cmd/shell.sh index a8e83ce..f062a0e 100644 --- a/src/cmd/shell.sh +++ b/src/cmd/shell.sh @@ -37,7 +37,7 @@ cmd_shell_main() root="$(block_mount "${dev}")" fi - profile_set "$(. "${root}/etc/os-release" && printf '%s' "${ID}")" + profile_detect "${root}" session_begin "${root}" . : false if [ ${#} -eq 0 ]; then |