github
/
phpservermon
mirror of https://github.com/phpservermon/phpservermon
1
0
Fork 0
Code Issues Releases Wiki Activity

Renamed configfile to prevent confusion

pull/1170/head
Tim Zandbergen 2021-12-10 22:09:50 +01:00
parent 162bba0046
commit cc6cece19c
No known key found for this signature in database
GPG Key ID: 4D8268DC68E8339D
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dev/config.php → dev/vagrant-config.php
View File

@ -8,4 +8,3 @@ define('PSM_DB_PORT', '3306'); //3306 is the default port for MySQL. If no specf
define('PSM_BASE_URL', ''); define('PSM_BASE_URL', '');
define('PSM_WEBCRON_KEY', ''); define('PSM_WEBCRON_KEY', '');
define('PSM_PUBLIC', false); define('PSM_PUBLIC', false);

2
provision.yaml
View File

@ -61,7 +61,7 @@
shell: /vagrant/setup-php.sh shell: /vagrant/setup-php.sh
- name: copy psm config file - name: copy psm config file
shell: /bin/cp -far /vagrant/dev/config.php /vagrant/config.php shell: /bin/cp -far /vagrant/dev/vagrant-config.php /vagrant/config.php
- name: apply nginx modifications - name: apply nginx modifications
service: service: