pages.de: update outdated pages (#11832)

This commit is contained in:
Sebastiaan Speck
2023-12-28 06:31:21 +01:00
committed by GitHub
parent ca222b2b81
commit 26246e09ef
32 changed files with 75 additions and 107 deletions

View File

@@ -9,7 +9,7 @@
- Suche nach Dateien mit dem exakten Dateinamen. (Ein Muster ohne Platzhalterzeichen wird als `*muster*` interpretiert):
`locate */{{dateiname}}`
`locate '*/{{dateiname}}'`
- Aktualisiere die Datenbank. Dies ist nötig, falls kürzlich hinzugefügte Dateien gefunden werden sollen: