JuliaDocs/Documenter.jl

Per-`Page` override of page title

Open

#1.898 geöffnet am 5. Aug. 2022

Auf GitHub ansehen
 (3 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Julia (513 Forks)batch import
Format: HTMLType: Enhancementhelp wanted

Repository-Metriken

Stars
 (910 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 16T 9h) (3 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuche den Quellcode von Documenter.jl, um zu verstehen, wie der Seitentitel derzeit aus der Navigation generiert wird. Finde die relevante HTML Vorlage oder Julia Funktion, die das <title> Tag setzt. Schlage eine Konfigurationsoption vor, um den Titel pro Seite zu überschreiben, möglicherweise im @pages Abschnitt oder über ein benutzerdefiniertes Metadatenfeld.
Tech Stack
julia
Domain
documentation
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
JuliaDocumenter.jl
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65