diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:20:25 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:20:25 (EST) |
| commit | 81a26f31df7699ebf382290e9680ff9668950280 (patch) | |
| tree | 0b1bdb7429cfc788f5021e16704e704a67656857 | |
| parent | 2c9ea8db846d3e248962ba29b6b63e0da50e12d7 (diff) | |
register_profile(): New function
| -rw-r--r-- | lib/profile.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/profile.sh b/lib/profile.sh index b0c2601..7151f56 100644 --- a/lib/profile.sh +++ b/lib/profile.sh @@ -20,8 +20,18 @@ PROFILES=' @profiles@ ' +profiles=' ' profile= +register_profile() +{ + local profile="${1}" + shift 1 + + profiles="${profiles}${profile} " + return 0 +} + is_profile() { local prof="${1}" |