diff options
author | Sam Pearson <sam@sgp.me.uk> | 2020-03-09 13:29:46 +0000 |
---|---|---|
committer | Sam Pearson <sam@sgp.me.uk> | 2020-03-10 10:03:01 +0000 |
commit | 56d6928983a49a781274f8fd16c14ece7d263c87 (patch) | |
tree | 1946bfa1713ab50131e8b11caf80213af3550303 /script/bootstrap | |
parent | 1022d7f263cf04eae5cbfef0fadf63ae38b53295 (diff) |
[Docker] Allow user to skip running install_packages
When running in Docker, set `SKIP_PACKAGES_INSTALL` to avoid
running `install_packages` when starting the container.
Diffstat (limited to 'script/bootstrap')
-rwxr-xr-x | script/bootstrap | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/script/bootstrap b/script/bootstrap index 5345b163e..10dc94bdf 100755 --- a/script/bootstrap +++ b/script/bootstrap @@ -7,10 +7,13 @@ git submodule --quiet update --init --recursive --rebase # Let's see if we can't work out where we might be running. if cut -d/ -f2 /proc/self/cgroup | sort -u | grep -q docker ; then - # Docker - sudo bin/install_packages docker + if [ -z ${SKIP_PACKAGES_INSTALL:+x} ] ; then + echo "==> Installing Docker packages..." + sudo bin/install_packages docker + fi else # Fallback + echo "==> Installing generic packages..." sudo bin/install_packages generic fi |