nginx配置将dist映射到9001端口上，再讲跨域处理加上

可以通过在nginx的配置文件中添加以下代码将dist映射到9001端口上：

server {
    listen 9001;
    server_name yourdomain.com;

    location / {
        root /path/to/dist;
        index index.html;
    }
}

至于跨域处理，可以在nginx配置文件中添加以下代码：

location /api {
    add_header 'Access-Control-Allow-Origin' '*';
    add_header 'Access-Control-Allow-Credentials' 'true';
    add_header 'Access-Control-Allow-Methods' 'GET, POST, OPTIONS';
    add_header 'Access-Control-Allow-Headers' 'DNT,User-Agent,X-Requested-With,If-Modified-Since,Cache-Control,Content-Type,Range';
    if ($request_method = 'OPTIONS') {
        return 204;
    }
}

记得修改其中的yourdomain.com和/path/to/dist为你的实际域名和路径。