diff options
| author | Thomas Boerger <thomas@webhippie.de> | 2016-12-22 19:12:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-22 19:12:23 +0100 |
| commit | b33078fa33441c33c5d018b1b9a248c646549842 (patch) | |
| tree | 0f890f88987764c1409c6c9d90edd8e727f3219e /options/gitignore/Jboss | |
| parent | c21e2c4151b5bc13e54de902f59e7b4c46b47540 (diff) | |
| download | gitea-b33078fa33441c33c5d018b1b9a248c646549842.tar.gz gitea-b33078fa33441c33c5d018b1b9a248c646549842.zip | |
Bindata is optional and over-writable on restart (#354)
* Moved conf assets into options folder
* Dropped old bindata
* Started to integrate options bindata and accessors
* Do not enforce a builtin app.ini
* Replaced bindata calls with options
* Dropped bindata task from makefile, it's the generate task now
* Always embedd app.ini to provide sane config defaults
* Use sane defaults for the configuration
* Defined default value for SSH_KEYGEN_PATH
* Dropped "NEVER EVER MODIFY THIS FILE" header from app.ini
* Fixed new paths in latest test additions
* Drop bindata with make clean task
* Set more proper default values
Diffstat (limited to 'options/gitignore/Jboss')
| -rw-r--r-- | options/gitignore/Jboss | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/options/gitignore/Jboss b/options/gitignore/Jboss new file mode 100644 index 0000000000..75d1731ed9 --- /dev/null +++ b/options/gitignore/Jboss @@ -0,0 +1,19 @@ +jboss/server/all/deploy/project.ext +jboss/server/default/deploy/project.ext +jboss/server/minimal/deploy/project.ext +jboss/server/all/log/*.log +jboss/server/all/tmp/**/* +jboss/server/all/data/**/* +jboss/server/all/work/**/* +jboss/server/default/log/*.log +jboss/server/default/tmp/**/* +jboss/server/default/data/**/* +jboss/server/default/work/**/* +jboss/server/minimal/log/*.log +jboss/server/minimal/tmp/**/* +jboss/server/minimal/data/**/* +jboss/server/minimal/work/**/* + +# deployed package files # + +*.DEPLOYED |