TODO: Show a warning if no configuration file is found

[L-TChen]

As title.

[MatthewDaggitt]

I think it would be good if it could show a warning, but then fall back to the behaviour of the old implementation i.e. check every .agda and .md it finds under the current directory.

[L-TChen]

The original implementation does not really check every .agda or .md under the current directory, as there are some exceptions to avoid.

What I plan to do is to make it more like a unix command-line tool — either you can specify files to check/fix by glob or use a configuration file like what it does now. If none of them is specified, then it gives a brief description. Does it sound better?

[L-TChen]

Closed by f5f5ea4.