mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-10-01 06:00:49 +00:00
ba1393fbbd
* Clean up docs folder by moving all build-related tools to subdirectory * Remove unused script * Remove unused script #2 * Some refactoring in concatenate.py * Rewrite build.sh in Python - Get rid of half of copypaste in yml files - Draft of redirects support * Actually include redirects.conf * copy conf too * Keep H1 the same in single page docs * fix some paths * Keep only pages index in yaml * Workaround for missing jQuery * Delay docs init
26 lines
853 B
HTML
26 lines
853 B
HTML
{% import "partials/language.html" as lang with context %}
|
|
{% set platform = config.extra.repo_icon or config.repo_url %}
|
|
{% if "github" in platform %}
|
|
{% set repo_type = "github" %}
|
|
{% elif "gitlab" in platform %}
|
|
{% set repo_type = "gitlab" %}
|
|
{% elif "bitbucket" in platform %}
|
|
{% set repo_type = "bitbucket" %}
|
|
{% else %}
|
|
{% set repo_type = "" %}
|
|
{% endif %}
|
|
{% block repo %}
|
|
<a href="{{ config.repo_url }}" title="{{ lang.t('source.link.title') }}" class="md-source" data-md-source="{{ repo_type }}">
|
|
{% if repo_type %}
|
|
<div class="md-source__icon">
|
|
<svg viewBox="0 0 24 24" width="24" height="24">
|
|
<use xlink:href="#{{ repo_type }}" width="24" height="24"></use>
|
|
</svg>
|
|
</div>
|
|
{% endif %}
|
|
<div class="md-source__repository">
|
|
{{ config.repo_name }}
|
|
</div>
|
|
</a>
|
|
{% endblock %}
|