mirror of
https://github.com/github/codeql.git
synced 2026-02-11 04:31:05 +01:00
Update default query history format
This commit is contained in:
@@ -37,12 +37,13 @@ Changing the labels of query history items
|
||||
|
||||
The query history **Format** setting controls how the extension lists queries in the query history. By default, each item has a label with the following format::
|
||||
|
||||
[%t] %q on %d - %s
|
||||
|
||||
- ``%t`` is the time the query was run
|
||||
%q on %d - %s, %r result count [%t]
|
||||
|
||||
- ``%q`` is the query name
|
||||
- ``%d`` is the database name
|
||||
- ``%s`` is a status string
|
||||
- ``%r`` is the number of results
|
||||
- ``%t`` is the time the query was run
|
||||
|
||||
To override the default label, you can specify a different format for the query history items.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user