Shuhao Wu
|
b6706ec67a
|
Add /userpatches to .gitignore (#1585)
If userpatches is a symlink, then it will not be ignored.
|
2019-10-06 20:56:28 +02:00 |
|
Przemysław Sztoch
|
bc0fbb85bc
|
Add USERPATCHES_PATH optional setting to config file. (#1450)
Required if userpatches folder is conflicted between two different configs.
This is frequent and requires maintaining two copies of the builder.
|
2019-07-09 22:50:49 -04:00 |
|
zador-blood-stained
|
8396c95368
|
Improve Vagrant support
Fixes #676
|
2017-08-01 12:31:05 +03:00 |
|
zador-blood-stained
|
61b2bfb741
|
Improve Docker support
Closes #489
|
2017-08-01 12:30:34 +03:00 |
|
zador-blood-stained
|
cb77343979
|
Add migration checks and messages
|
2017-08-01 12:28:19 +03:00 |
|
zador-blood-stained
|
1949c0b6da
|
Move debootstrap and packaging directories to a temp directory
This avoids errors with filesystem features and permissions when output
directory is shared in Virtualbox (i.e. when using Vagrant)
|
2017-08-01 12:26:10 +03:00 |
|
zador-blood-stained
|
91be332f8a
|
Refactor directory structure
Remove "parent of the project directory" setup
Closes #633
Closes #674
|
2017-08-01 12:24:56 +03:00 |
|
Gabriel Gunderson
|
24d0ec4824
|
Tidying up the Vagrant stuff. Added support for userscripts. More docs. (#601)
|
2017-01-15 00:42:20 +03:00 |
|
Gabriel Gunderson
|
b90f575ec7
|
Changes to the Vagrant file, README and gitignore for better Vagrant support. (#597)
|
2017-01-04 12:57:03 +03:00 |
|