diff options
| author | VirtualTam <virtualtam+github@flibidi.net> | 2017-07-29 16:17:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-29 16:17:09 +0200 |
| commit | fccfa09df84011f363311c44fa1b374ba7cd9af8 (patch) | |
| tree | a5f9a26ce2033182fd0d13c9035b44ff9ebbf9fe /docker/development/supervised.conf | |
| parent | 57ee53d6c6be4b641764b0a635b2998c6cdc8197 (diff) | |
| parent | 3a6f91a9ccbdd8f2ed8e33c88c7800f2623cfd3a (diff) | |
| download | Shaarli-fccfa09df84011f363311c44fa1b374ba7cd9af8.tar.gz Shaarli-fccfa09df84011f363311c44fa1b374ba7cd9af8.tar.zst Shaarli-fccfa09df84011f363311c44fa1b374ba7cd9af8.zip | |
Merge pull request #906 from virtualtam/docker/cleanup
docker: remove `dev` image, update documentation
Diffstat (limited to 'docker/development/supervised.conf')
| -rw-r--r-- | docker/development/supervised.conf | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/docker/development/supervised.conf b/docker/development/supervised.conf deleted file mode 100644 index 5acd9795..00000000 --- a/docker/development/supervised.conf +++ /dev/null | |||
| @@ -1,13 +0,0 @@ | |||
| 1 | [program:php5-fpm] | ||
| 2 | command=/usr/sbin/php5-fpm -F | ||
| 3 | priority=5 | ||
| 4 | autostart=true | ||
| 5 | autorestart=true | ||
| 6 | |||
| 7 | [program:nginx] | ||
| 8 | command=/usr/sbin/nginx | ||
| 9 | priority=10 | ||
| 10 | autostart=true | ||
| 11 | autorestart=true | ||
| 12 | stdout_events_enabled=true | ||
| 13 | stderr_events_enabled=true | ||