Ignore patterns för Syncthing är nästan lika luddiga som deras dokumentation

Syncthing har stöd för filter, vilket de kallar för “ignore patterns”, ett förvirrande namn eftersom att man kan välja att bara inkludera saker också. För att göra det ännu mer luddigt, är deras filterfunktion konstigt utformad och deras dokumentation är rörig som bäst.

Här är deras “snabbstartguide”, som man får ta del av i webbgränssnittet när man ska skapa ett filter för en katalog:

Quick guide to supported patterns (full documentation):

(?d)  Prefix indicating that the file can be deleted if preventing directory removal
(?i)  Prefix indicating that the pattern should be matched without case sensitivity
   !  Inversion of the given condition (i.e. do not exclude)
   *  Single level wildcard (matches within a directory only)
  **  Multi level wildcard (matches multiple directory levels)
  //  Comment, when used at the start of a line 

Mitt mål var att exkludera allt i min musikkatalog, för att sedan ange undantag som ska kopieras till min telefon. Jag började med den här varianten:

*
!*.ogg
!*.mp3

Enligt snabbstartguiden ska man använda sig av en * för att ignorera allting, och sedan använda sig av ! för de saker som man vill göra det omvända med, det vill säga, de saker som man vill tillåta. Detta fungerade inte. Jag läste dokumentationen flera gånger, men blev inte vidare klok på deras luddiga dokumentation.

Det rör sig om en simpel filterfunktion!

Det borde vara omöjligt att misslyckas med UX-designen här. Det finns ungefär tusen miljarders miljoner exempel på hur man kan implementera detta på ett snyggt och självförklarande sätt i sin mjukvara, så att även den dummaste av de dummaste, kan förstå sig på hur man gör—utan att läsa en enda rad—ur dokumentationen.

Nåja. Efter en hel del felsökande kom jag äntligen på vad som var fel: ordningen! Detta har man inte varit tydlig med i dokumentationen. Tydligen behöver man först ange vad man vill tillåta, för att sedan följa upp med vad man vill blockera. Vilket är fullständigt bakvänt om du frågar mig.

Det här är iallafall vad som fungerade för mig:

!*.ogg
!*.mp3
*

Med denna regel skippar den hela min musikkatalog, utom musik som slutar på filändelsen .ogg och .mp3.