diff options
Diffstat (limited to 'src/profile')
| -rw-r--r-- | src/profile/proteanos.sh | 12 |
1 files changed, 12 insertions, 0 deletions
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}" |