linux/.cocciconfig
<<
>>
Prefs
   1[spatch]
   2        options = --timeout 200
   3        options = --use-gitgrep
   4