文件名称：eth-sri.github.io：SRI集团网站
文件大小：76.01MB
文件格式：ZIP
更新时间：2024-03-15 22:55:45
HTML
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类的错误，您可能需