public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Export-ignore some files

pull/2/head
Michele Locati 2018-04-12 12:00:38 +02:00
parent a8c7753344
commit 0357a59d47
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.gitattributes vendored Normal file
View File

@ -0,0 +1,5 @@
/.* export-ignore
/data/ export-ignore
/scripts/ export-ignore
/LICENSE export-ignore
/README.md export-ignore

4
install-php-extensions
View File

@ -4,7 +4,9 @@
#
# Copyright (c) Michele Locati, 2018
#
# MIT license
# Source: https://github.com/mlocati/docker-php-extension-installer
#
# License: MIT - see https://github.com/mlocati/docker-php-extension-installer/blob/master/LICENSE
# Let's set a sane environment
set -o errexit