We should provide a mechanism to export the current set of log lines that are presented in the UI. This would allow users to filter the original log file based upon a search of the data, and then send us a narrowed file that is itself loadable in the tool. Which is to say, the export should write the original values from the database as NDJSON. This feature will need a modal, or something, that allows the user to specify an output destination and file name.
We should provide a mechanism to export the current set of log lines that are presented in the UI. This would allow users to filter the original log file based upon a search of the data, and then send us a narrowed file that is itself loadable in the tool. Which is to say, the export should write the
originalvalues from the database as NDJSON. This feature will need a modal, or something, that allows the user to specify an output destination and file name.