bash - 带有一个附加前置参数的 Bash 调用 exec

Question

在某些情况下，我需要将一个附加的前置参数传递给我调用时使用的命令行参数exec。我怎样才能做到这一点？

if [ -z "$MILL_HOME" ] ; then
   exec $MILL_EXEC_PATH "$@"
else
   MILL_EXEC_ARGS=("--home" "$MILL_HOME" "$@") 
   exec $MILL_EXEC_PATH "$MILL_EXEC_ARGS"
fi

在上面的情况下，我试图成为--home $MILL_HOME$MILL_HOME 存在时传入的第一个参数。