如何修改oceanbase Proxy服务的默认端口号？

OceanBase的Proxy服务，默认的端口通常是6001。如果需要修改这个默认值，你需要编辑OceanBase的服务配置文件。以下是Windows和Linux系统上的一般步骤：

**在Windows上**：
1. 打开命令提示符，定位到OceanBase的安装目录，通常位于`<OCEANBASE_HOME>\conf`下。
2. 找到`proxy-server.xml`文件，打开它并找到`<listen>`标签，其后面的数字即为端口号。例如：

   <listen>6001</listen>

3. 将该数字替换为你想要的新端口号，然后保存文件。
4. 需要重启OceanBase Proxy服务使其生效。你可以通过运行`obproxy stop`，等待服务停止，再运行`obproxy start -p 新的端口号`来启动。

**在Linux或MacOS上**：
1. 使用文本编辑器如`vi`、`nano`或`emacs`打开`<OCEANBASE_HOME>/conf/proxy-server.xml`。
2. 搜索`<listen>`标签，同样地，更改后的端口号会在这里。
3. 保存文件，并使用命令行工具如`systemctl`或`service`来管理服务。首先停止服务，然后启动服务，命令类似：

   sudo systemctl stop oceanbase-proxy
   sudo sed -i 's/listen=6001/listen=新的端口号/g' /path/to/proxy-server.xml
   sudo systemctl start oceanbase-proxy

记得将`新的端口号`替换为你实际选择的数值，然后根据实际情况调整重启服务的部分。