fix-whitespace.yaml

# This file contains the project-specific settings for `fix-whitespace` a tiny
# but useful tool to
#
# * Removes trailing whitespace.
# * Removes trailing lines containing nothing but whitespace.
# * Ensures that the file ends in a newline character.
#
# By default, fix-whitespace checks every directory under the current working
# directory but no files. This program should be placed under a text-based
# project.
#
# For directories,
#
# 1) excluded-dirs is a black-list of directories,
# 2) included-dirs is a white-list of excluded-dirs
#
# For files,
#
# 3) included-files is a white-list of files,
# 4) excluded-files is a black-list of included-files.
#
# The extended glob pattern can be used to specify file/direcotory names.
# For details, see http://hackage.haskell.org/package/filemanip-0.3.6.3/docs/System-FilePath-GlobPattern.html
#

# Every matched filename is included unless it is matched by excluded-files.
included-files:
  - "**.agda"
  - "**.cabal"
  - "**.el"
  - "**.hs"
  - "**.hs-boot"
  - "**.lagda"
  - "**.lhs"
  - "**.md"
  - "**.rst"
  - "**.x"
  - "**.y"
  - "**.yaml"
  - "**.yml"

# Do not check whitespaces in the clone of the agda repo.
# This is a workaround for a ci problem, it would probably
# be better to have the agda repo not in the working
# directory there...
excluded-dirs:
  - "agda"
  - "html"