Avvio rapido: mostrare un file sorgente su una pagina

Il percorso più breve da «il plugin è installato» a «un file compare su una pagina wiki con evidenziazione della sintassi e numeri di riga». Tre passi, circa cinque minuti.

• wksourceview è installato e attivato nel gestore delle estensioni.
• Potete leggere il file. Il plugin verifica il permesso di lettura a ogni richiesta: ciò che non si apre nel gestore dei media non si genera nemmeno qui.
• Potete modificare una pagina.

Aprire il gestore dei media (/doku.php?do=media), creare il namespace dev e caricare un file sorgente, per esempio esempio.php.

L'identificatore del media è allora dev:esempio.php.

Modificare una pagina e scrivere:

{{source>media:dev:esempio.php}}

media: nomina il fornitore che risolve il resto. Sono integrati media: (archivio dei media) e page: (testo sorgente di una pagina wiki); git: e ado: arrivano con i plugin wkdogit e wkdoadogit.

Un file intero è raramente il punto. Aggiungere un intervallo di righe:

{{source>media:dev:esempio.php#L10-L40}}

Un intervallo che oltrepassa la fine del file viene limitato all'ultima riga: restituisce quindi il resto e non un errore.

• Il blocco è sulla pagina, evidenziato e numerato. Il linguaggio è stato riconosciuto dall'estensione del file.
• L'intestazione del blocco nomina il file e vi rimanda.
• Ogni riga porta un'ancora: cliccando un numero di riga si ottiene un indirizzo che punta esattamente a quella riga.

Se invece compare un breve avviso non disponibile, un collegamento di download o testo non evidenziato, il file è stato trovato ma qualcosa ne ha rifiutato la resa come sorgente — cause e rimedi sono sulla pagina del pacchetto.

• wkdoadogit — la stessa visualizzazione per file di un repository Azure DevOps.
• wkdogit — lo stesso per un repository locale sul server.
• wksourceview (in tedesco) — la pagina del pacchetto: la grammatica completa di un riferimento, le modalità di resa e i limiti max_bytes e max_lines.