HTML5有哪些新特性？

因为经常需要从宿舍到学校内通勤，期间所有连接都会中断，所以每次开SSH特别麻烦，每次终端自动切换到本地：

每次都得点一下Start SSH 

Session 

想要默认终端连接远程服务器，需要点File->Setting->Tools->SSH Terminal
或者直接搜Terminal，找到这个界面

把这里改成你的远程服务器即可。