首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >更改epydoc的收藏夹图标-如何?

更改epydoc的收藏夹图标-如何?
EN

Stack Overflow用户
提问于 2013-02-01 15:11:32
回答 1查看 67关注 0票数 1

问题是:如何更改epydoc生成的html页面的收藏夹图标?

注意:我看到了如何定制css内容,但没有看到定制输出html文件的内容...

非常感谢。

EN

回答 1

Stack Overflow用户

发布于 2013-02-01 18:47:30

好的,经过一番头脑风暴(和我自己),我找到了一个方法:

由于我们可以使用--navlink选项将一些html注入到epydoc (最初设计用于在导航栏中自定义项目的链接),因此我使用了一个javascript技巧在文档的标记中动态添加了以下内容。

以下是javascript代码:

代码语言:javascript
复制
var link = parent.document.createElement('link'); 
link.id = 'dynamic-favicon'; 
link.type = 'image/png'; 
link.rel = 'shortcut icon'; 
link.href = '../logo-fav.png'; parent.document.head.appendChild(link);
parent.document.head = parent.document.head || 
                           parent.document.getElementsByTagName('head')[0];

下面是完整的epydoc命令行:

代码语言:javascript
复制
epydoc -v --name "My Project" -o ./html \
--css epydoc.css --url http://www.my-project.org --inheritance listed \
--graph all --no-private --docformat epytext \
    --navlink "<a href=\"http://www.my-project.org\"><img src=\"../logo.png\" style=\"margin:10px;\" /></a>
        <script>
            var link = parent.document.createElement('link'); 
            link.id = 'dynamic-favicon'; 
            link.type = 'image/png'; 
            link.rel = 'shortcut icon'; 
            link.href = '../logo-fav.png'; 
            parent.document.head.appendChild(link); 
            parent.document.head = parent.document.head || parent.document.getElementsByTagName('head')[0];
        </script>
        " \
    my_py_module

这可以用来定制整个文档,但仍然很麻烦。仍然很奇怪,他们没有办法在像epydoc这样的成熟工具中使用一些模板……

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/14641415

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档