since a few weeks the logging of Galaxy has changed. Now, you can go back by days, which is nice.
But for me, at least, the new interface is very un-practical: yuu can not search any more
You can, of course, use -F and search for text, but scrolling is virtually impossible…
Even a quick -c and pasting to a local editor does not work, as you get only the current screen in die div, and no history. (So, you only get like 50 lines.)
Does anybody else experience this / do you have workarounds? I rely on the log to monitor current users, but in this way I cannot follow what they are doing…