feat: create proxy:ports-set call

In some cases, it may be useful to completely override the set ports for a given application - such as on initial deploy when there is no global domain set. This change also further allows us to handle automation in a smoother fashion.

plugins/proxy/subcommands/ports-set

@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+set -eo pipefail; [[ $DOKKU_TRACE ]] && set -x
+source "$PLUGIN_CORE_AVAILABLE_PATH/common/functions"
+source "$PLUGIN_AVAILABLE_PATH/proxy/functions"
+
+proxy_ports_set_cmd() {
+  declare desc="add proxy port mappings from an app"
+  local cmd="proxy:add"
+  local APP="$2"; verify_app_name "$APP"
+  shift 2
+
+  set_proxy_ports "$APP" "$@"
+  plugn trigger post-proxy-ports-update "$APP" "add"
+}
+
+proxy_ports_set_cmd "$@"