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 | ||