diff options
author | Cedric Spindler <cedric.spindler@gmail.com> | 2019-09-05 21:56:20 +0200 |
---|---|---|
committer | Cedric Spindler <cedric.spindler@gmail.com> | 2019-09-05 21:56:20 +0200 |
commit | 292b9122dd943950c05241092f42cb89015bdc06 (patch) | |
tree | 35d1ae2e0aeadd47dd857dbc220e2dc60a1cbf1f /Howtos | |
parent | 193a029c98f95692b6819f067d9d2915958e0bb5 (diff) |
Lint-fix markdown syntax
- no content/semantic changes!
- trim trailing whitespace
- fix header levels
- # header style
- list syntax
Diffstat (limited to 'Howtos')
-rw-r--r-- | Howtos/Anleitung_zweisprachige_Texte_erstellen.mdwn | 5 | ||||
-rw-r--r-- | Howtos/bilder-ins-wiki.mdwn | 2 | ||||
-rw-r--r-- | Howtos/sicher_privat_browsen.mdwn | 14 |
3 files changed, 10 insertions, 11 deletions
diff --git a/Howtos/Anleitung_zweisprachige_Texte_erstellen.mdwn b/Howtos/Anleitung_zweisprachige_Texte_erstellen.mdwn index 7490819f..fdc35c1e 100644 --- a/Howtos/Anleitung_zweisprachige_Texte_erstellen.mdwn +++ b/Howtos/Anleitung_zweisprachige_Texte_erstellen.mdwn @@ -19,14 +19,13 @@ letze Zeile deutsch| |last row english<br/> Und so sieht das Ergebnis gerendert im Browser aus: [[!table data=""" -Überschrift deutsch| |Titel english +Überschrift deutsch| |Titel english Zeile 1 deutsch| |row 1 english Zeile 2 deutsch| |row 2 english undsoweiter| | got it? letze Zeile deutsch| |last row english """]] -Beispiele -======= +## Beispiele * [[Veranstaltungen/Workshops/Fermentationstreffen]] diff --git a/Howtos/bilder-ins-wiki.mdwn b/Howtos/bilder-ins-wiki.mdwn index ae6bb362..53e2674d 100644 --- a/Howtos/bilder-ins-wiki.mdwn +++ b/Howtos/bilder-ins-wiki.mdwn @@ -1,6 +1,6 @@ [[!meta title="Bilder ins Wiki hochladen"]] -# Vor dem Hochladen — Lizenzen und Rechtslage +## Vor dem Hochladen — Lizenzen und Rechtslage Bevor du Bilder ins Wiki hochlädst, solltest du eine Frage klären: Unter welcher Lizenz steht das Bild? diff --git a/Howtos/sicher_privat_browsen.mdwn b/Howtos/sicher_privat_browsen.mdwn index a70dfd07..13f7bbac 100644 --- a/Howtos/sicher_privat_browsen.mdwn +++ b/Howtos/sicher_privat_browsen.mdwn @@ -2,11 +2,11 @@ Wer sich im Internet bewegt, möchte dies ja gerne im geschützten Rahmen tun und dabei nicht so viele Informationen über sich selbst preis geben. Dies ist eine Sammlung von Tipps dazu, wie man das bewerkstelligen kann. -# Plugins +## Plugins Die meisten Browser unterstützen die Installation von Plugins. Diese haben einige Kontrolle über den Browser und die Inhalte, welche der Benutzer besucht. Man sollte seine Plugins von daher gut auswählen, denn sie könnten genauso gut zu einem Sicherheits- oder Privatsphärenalbtraum werden. -## Firefox +### Firefox Folgende Plugins für Firefox sind empfehlenswert, um die Sicherheit beim Browsen zu gewährleisten: @@ -17,16 +17,16 @@ Zur Verbesserung der Privatsphäre sind dann noch folgende Addons zu empfehlen: * [AdBlock Plus](https://addons.mozilla.org/de/firefox/addon/adblock-plus/): blockiert Werbung so dass sie gar nicht erst geladen wird. Hält den Bildschirm frei und lesbar. * Anti-Tracker-Plugins (findet und blockiert bekannte Trackingmechanismen im Internet. Weist den Benutzer darauf hin), dazu empfiehlt sich _eines_ der folgenden: - * [Privacy Badger](https://addons.mozilla.org/de/firefox/addon/privacy-badger-firefox/), oder - * [Ghostery](https://addons.mozilla.org/de/firefox/addon/ghostery/). + * [Privacy Badger](https://addons.mozilla.org/de/firefox/addon/privacy-badger-firefox/), oder + * [Ghostery](https://addons.mozilla.org/de/firefox/addon/ghostery/). * [NoScript](https://addons.mozilla.org/de/firefox/addon/noscript/): Schaltet JavaScripts von der Webseite standardmässig ab, es muss erst manuell eingeschaltet werden. Schützt auch vor dem unbeabsichtigten Übermitteln privater Daten über umverschlüsselte Tor-Verbindungen. Kann allerdings etwas anstrengend werden, also mit Vorsicht benutzen! -## Google Chrome / Chromium +### Google Chrome / Chromium Die Chrome-Browserfamilie ist nicht aus XML und JavaScript zusammengehackt und bietet daher für Extensions nicht so tiefe Eingriffsmöglichkeiten in den Browser selbst an. Dementsprechend gibt es derer ein paar weniger: * [AdBlock Plus](https://chrome.google.com/webstore/detail/adblock-plus/cfhdojbkjhnklbpkdaibdccddilifddb?hl=de): blockiert Werbung so dass sie gar nicht erst geladen wird. Hält den Bildschirm frei und lesbar. * [HTTPS Everywhere](https://chrome.google.com/webstore/detail/https-everywhere/gcbommkclmclpchllfjekcdonpmejbdp): stellt sicher, dass man Webseiten verschlüsselt besucht, soweit möglich. Damit kann man sich auch sicher sein, dass die Inhalte, welche man liest, definitiv von der gewünschten Webseite stammen. * Anti-Tracker-Extensions (findet und blockiert bekannte Trackingmechanismen im Internet. Weist den Benutzer darauf hin), dazu empfiehlt sich _eines_ der folgenden: - * [Privacy Badger](https://chrome.google.com/webstore/detail/privacy-badger/pkehgijcmpdhfbdbbnkijodmdjhbjlgp?hl=de), oder - * [Ghostery](https://chrome.google.com/webstore/detail/ghostery/mlomiejdfkolichcflejclcbmpeaniij?hl=de). + * [Privacy Badger](https://chrome.google.com/webstore/detail/privacy-badger/pkehgijcmpdhfbdbbnkijodmdjhbjlgp?hl=de), oder + * [Ghostery](https://chrome.google.com/webstore/detail/ghostery/mlomiejdfkolichcflejclcbmpeaniij?hl=de). |