假设原来GPU服务器ip地址为172.22.107.65,现在的服务器ip地址为172.22.229.95
步骤:
1、在左侧任务栏的设置中,打开config文件;
2、将 Host 和 HostName 都改成新的ip地址;
GPU服务器是使用Docker管理的,所以每一个user都是root,而 Port 端口号是标识不同用户的标记,所以端口号不能更改。
改动了这里,左边的 SSH 文件夹下就会少了原来ip的条目,新增ip的条目。
3、打开 known_hosts 文件,将原来ip地址的172.22.107.65相关的行都删掉就行,新ip地址的内容等到重连的时候就会自动出现的,只需要把旧的删掉就行;
4、点击新的ip条目,重新连接(一直点默认的就行了)
原来服务器中的内容就会重新出现了