diff options
Diffstat (limited to '.dockerignore')
-rw-r--r-- | .dockerignore | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/.dockerignore b/.dockerignore index 9a18e085..cdd0a894 100644 --- a/.dockerignore +++ b/.dockerignore | |||
@@ -1,5 +1,7 @@ | |||
1 | # Docker-ignore | 1 | # Docker-ignore |
2 | # Note: .git/ is kept for HTML documentation generation | 2 | .dev |
3 | .git | ||
4 | .github | ||
3 | tests | 5 | tests |
4 | 6 | ||
5 | # Shaarli runtime resources | 7 | # Shaarli runtime resources |
@@ -17,12 +19,12 @@ tmp/* | |||
17 | *.rtpl.php | 19 | *.rtpl.php |
18 | 20 | ||
19 | # 3rd-party dependencies | 21 | # 3rd-party dependencies |
20 | composer.lock | ||
21 | vendor/ | 22 | vendor/ |
22 | 23 | ||
23 | # Release archives | 24 | # Release archives |
24 | *.tar | 25 | *.tar.gz |
25 | *.zip | 26 | *.zip |
27 | inc/languages/*/LC_MESSAGES/shaarli.mo | ||
26 | 28 | ||
27 | # Development and test resources | 29 | # Development and test resources |
28 | coverage | 30 | coverage |
@@ -32,3 +34,11 @@ phpmd.html | |||
32 | 34 | ||
33 | # User plugin configuration | 35 | # User plugin configuration |
34 | plugins/*/config.php | 36 | plugins/*/config.php |
37 | |||
38 | # HTML documentation | ||
39 | doc/html/ | ||
40 | |||
41 | # 3rd party themes | ||
42 | tpl/* | ||
43 | !tpl/default | ||
44 | !tpl/vintage | ||