SRI网站 注意 所有较大的文件,包括论文/幻灯片的pdf都应上载到文件服务器。 $ ssh websrl@web-login.inf.ethz.ch [websrl@web-login htdocs-srl]$ cd /import/vechev/h1/htdocs-srl/website 将文件上传到“ / import / vechev / h1 / htdocs-srl /网站”目录。 然后,所有文件都位于 url下。 例如,“ / import / vechev / h1 / htdocs-srl / website / slides / deguard-androidsec17.pdf”中的文件位于 概述 该站点基于静态站点生成器构建。 模板语言是 。 要在本地提供该网页,请运行jekyll serve 。 如果出现诸如Could not find gem类的错误,您可能需