diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2020-12-11 16:51:08 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2020-12-11 16:51:08 +0100 |
commit | 96b156c74befe9e8601523d06377de8e5eb0e2b2 (patch) | |
tree | b80dab8d3cc59a80c6bff84ad1033d7f7433b5bf /config.toml | |
parent | 19337f3581dc3430615d6d019b8dc7aeb7c2d1b2 (diff) |
Add missing example value
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to 'config.toml')
-rw-r--r-- | config.toml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/config.toml b/config.toml index b19288c..54143af 100644 --- a/config.toml +++ b/config.toml @@ -34,6 +34,19 @@ build_error_lines = 10 # If the value is not set, highlighting is disabled. script_highlight_theme = "Solarized (dark)" +# An (optional) script or program that can lint the packaging script. +# This command gets the script on STDIN and might return 1 if there was an +# error. +# Stderr and stdout are printed to the user in this case. +# +# Simplest example: +# ```bash +# #!/bin/bash +# shellcheck - +# ``` +# +# script_linter = "/path/to/scriptlinter" + # The format to print the found packages with. # # Possible tokens are: |