Rename directory/option environment to environments

To be consistent with machines/ and toolchains/

1 files changed, 5 insertions, 5 deletions

diff --git a/etc/bootstrap/bbot-bootstrap.sh b/etc/bootstrap/bbot-bootstrap.sh
index 9473abe..9e7ace8 100755
--- a/etc/bootstrap/bbot-bootstrap.sh
+++ b/etc/bootstrap/bbot-bootstrap.sh
@@ -35,7 +35,7 @@ run ()
 #
 cxx=g++
 build=/tmp
-environment="$HOME/environment"
+environments="$HOME/environments"
 
 # Parse options.
 #
@@ -57,12 +57,12 @@ while test $# -ne 0; do
       build="$1"
       shift
       ;;
-    --environment)
+    --environments)
       shift
       if test $# -eq 0; then
-	error "missing environment directory after --environment"
+	error "missing environments directory after --environments"
       fi
-      environment="$1"
+      environments="$1"
       shift
       ;;
     *)
@@ -90,7 +90,7 @@ export PATH
 # If we already have the bbot worker, assume we are bootstrapped.
 #
 if bbot-worker --version >/dev/null 2>&1; then
-  exec bbot-worker --startup --build "$build" --environment "$environment" \
+  exec bbot-worker --startup --build "$build" --environments "$environments" \
        --tftp-host "$tftp" --verbose "$verbose"
 fi