📎 Minor changes on manage.sh script.

2025-12-12 06:24:17 +01:00 · 2020-12-21 09:12:43 +01:00
parent 2c0a2ce750
commit 0f37c8ecbd
1 changed files with 3 additions and 4 deletions
--- a/manage.sh
+++ b/manage.sh
@@ -18,7 +18,7 @@ function build-devenv {
    popd;
 }

-function publish-devenv {
+function push-devenv {
    docker push $DEVENV_IMGNAME:latest
 }

@@ -226,9 +226,8 @@ case $1 in
        build-devenv ${@:2}
        ;;

-
-    publish-devenv)
-        publish-devenv ${@:2}
+    push-devenv)
+        push-devenv ${@:2}
        ;;

    start-devenv)