diff options
| author | jvoisin | 2018-05-16 22:00:37 +0200 |
|---|---|---|
| committer | jvoisin | 2018-05-16 22:00:37 +0200 |
| commit | effe68f08f19ff26c37ede5a7a92d5d4452434fe (patch) | |
| tree | dec62d6d94236380cf2597fc083ea3f450d56f46 /src/__init__.py | |
| parent | 7afff93e9c5f04b72725c0008cbf5657a0497be0 (diff) | |
The CLI shouldn't display unsupported file extensions
Diffstat (limited to 'src/__init__.py')
| -rw-r--r-- | src/__init__.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/__init__.py b/src/__init__.py index 7557381..3f5c478 100644 --- a/src/__init__.py +++ b/src/__init__.py | |||
| @@ -1 +1,5 @@ | |||
| 1 | #!/bin/env python3 \ No newline at end of file | 1 | #!/bin/env python3 |
| 2 | |||
| 3 | # A set of extension that aren't supported, despite matching a supported mimetype | ||
| 4 | unsupported_extensions = set(['bat', 'c', 'h', 'ksh', 'pl', 'txt', 'asc', | ||
| 5 | 'text', 'pot', 'brf', 'srt', 'rdf', 'wsdl', 'xpdl', 'xsl', 'xsd']) | ||