SRI网站 注意 所有较大的文件，包括论文/幻灯片的pdf都应上载到文件服务器。 $ ssh websrlweb-login.inf.ethz.ch [websrlweb-login htdocs-srl]$ cd /import/vechev/h1/htdocs-srl/website 将文件上传到“ / import / vechev / h1 / htdocs-srl /网站”目录。 然后，所有文件都位于 url下。 例如，“ / import / vechev / h1 / htdoc