diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/profile.sh | 14 | ||||
| -rw-r--r-- | src/profile/proteanos.sh | 12 |
2 files changed, 26 insertions, 0 deletions
diff --git a/src/profile.sh b/src/profile.sh index 9bbd9ce..44e3022 100644 --- a/src/profile.sh +++ b/src/profile.sh @@ -50,6 +50,20 @@ profile_set() return 0 } +profile_detect() +{ + local root="${1}" + + for prof in ${profiles}; do + if "prof_${prof}_detect_root" "${root}"; then + profile="${prof}" + return 0 + fi + done + + error 1 "$(get_msg 'profile_not_detected')" "${root}" +} + profile_normalize_suite() { local suite="${1}" diff --git a/src/profile/proteanos.sh b/src/profile/proteanos.sh index 46c0e69..ef578f0 100644 --- a/src/profile/proteanos.sh +++ b/src/profile/proteanos.sh @@ -37,6 +37,18 @@ start() } ' +prof_proteanos_detect_root() +{ + local root="${1}" + + if grep "^ID='proteanos'\$" "${root}/etc/os-release" >/dev/null 2>&1 + then + return 0 + else + return 1 + fi +} + prof_proteanos_normalize_suite() { local suite="${1}" |