JuliaDocs/Documenter.jl

Per-`Page` override of page title

Open

#1898 aperta il 5 ago 2022

Vedi su GitHub
 (3 commenti) (0 reazioni) (0 assegnatari)Julia (513 fork)batch import
Format: HTMLType: Enhancementhelp wanted

Metriche repository

Star
 (910 star)
Metriche merge PR
 (Merge medio 16g 9h) (3 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esplora il codice sorgente di Documenter.jl per capire come viene generato il titolo della pagina dalla navigazione. Trova il template HTML o la funzione Julia che imposta il tag <title>. Proponi un'opzione di configurazione per sovrascrivere il titolo per pagina, magari nella sezione @pages o tramite un campo di metadati personalizzato.
Tech stack
julia
Dominio
documentation
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
JuliaDocumenter.jl
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65