JuliaDocs/Documenter.jl

Per-`Page` override of page title

Open

#1 898 ouverte le 5 août 2022

Voir sur GitHub
 (3 commentaires) (0 réactions) (0 assignés)Julia (513 forks)batch import
Format: HTMLType: Enhancementhelp wanted

Métriques du dépôt

Stars
 (910 stars)
Métriques de merge PR
 (Merge moyen 16j 9h) (3 PRs mergées en 30 j)

Description

Currently, if you go to the documentation of a Julia package e.g. https://juliadocs.github.io/Documenter.jl/ the <title> element of the page is <title>Home · Documenter.jl</title>, where the "Home" comes from the first item on the dropdown menu. Is there a way to separate those two? The element seems to be important for google search results, thus it would be nice to have finer control over it.

Guide contributeur

Direction de recherche
Explorez le code source de Documenter.jl pour comprendre comment le titre de la page est actuellement généré à partir de la navigation. Recherchez le modèle HTML ou la fonction Julia qui définit la balise <title>. Proposez une option de configuration pour remplacer le titre par page, peut être dans la section @pages ou via un champ de métadonnées personnalisé.
Stack technique
julia
Domaine
documentation
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
JuliaDocumenter.jl
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65