Worknote: Wie man bei MkDocs den Port umbiegt

Bekanntlich habe ich ja Nevernote, meinen aus statischen Seiten bestehenden Evernote-Ersatz mithilfe von MkDocs realisiert. Was MkDocs so einzigartig macht, ist der Live Server, der jedesmal, wenn ich eine Änderung auf einer Seite vornehme, diese sofort nach dem Abspeichern der Seite (ohne den Reload-Button des Browser bemühen zu müssen) anzeigt. Nun lauscht aber dieser Live Server per Default auf 127.0.0.1:8000, dies ist aber ein sehr beliebter Port, dort wollen auch andere (Entwicklungs-) Server auf meinem Rechner mithören. Und da diese sehr oft parallel laufen (normalerweise läuft mein Nevernote durch, damit ich während der Arbeit mir ständig Notizen machen kann), wollte ich diesen Server auf Port 9000 legen.

Ein Blick in die Dokumentation zeigte mir dann, wie man bei MkDocs den Port umbiegen kann. In die config.yaml fügt man einfach an beliebiger Stelle die Zeile

dev_addr: 127.0.0.1:9000

ein und schon lauscht nach einem Neustart des Servers dieser wie gewünscht auf Port 9000. Manchmal hilft ein Blick in die Dokumentation wirklich weiter. 😜

(Kommentieren)