From cd9387c71d6b92bad33c25e02c0878510bcdebd7 Mon Sep 17 00:00:00 2001
From: richvdh
Here we can see that the request has been tagged with GET-37
. (The tag depends on the method of the HTTP request, so might start with GET-
, PUT-
, POST-
, OPTIONS-
or DELETE-
.) So to find all lines corresponding to this request, we can do:
grep 'GET-37' homeserver.log
-If you want to paste that output into a github issue or matrix room, please remember to surround it with triple-backticks (```) to make it legible (see https://help.github.com/en/articles/basic-writing-and-formatting-syntax#quoting-code).
+If you want to paste that output into a github issue or matrix room, please remember to surround it with triple-backticks (```) to make it legible (see quoting code).
See Request log format.