comparison docker/base/Dockerfile @ 83:8dd32aa49614

docker: pid files are put in /tmp to avoid conflict when restarting a container
author Goffi <goffi@goffi.org>
date Thu, 18 Feb 2016 17:19:50 +0100
parents 686a8c982c3f
children 8dc445c967e2
comparison
equal deleted inserted replaced
82:5824dee4ea2b 83:8dd32aa49614
67 ###################### 67 ######################
68 # SàT CONFIGURATION # 68 # SàT CONFIGURATION #
69 ###################### 69 ######################
70 70
71 # Following scripts make the configuration as automatic and easy as possible 71 # Following scripts make the configuration as automatic and easy as possible
72
73 # we want .pid files in /tmp so they are removed if container are deleted
74 RUN echo '[DEFAULT]\npid_dir=/tmp' >> /etc/sat.conf
72 75
73 # we auto-create libervia account if it doesn't exists in Libervia container 76 # we auto-create libervia account if it doesn't exists in Libervia container
74 # so we remove it from reserved_list in plugin account 77 # so we remove it from reserved_list in plugin account
75 RUN echo '[plugin account]\nreserved_list=' >> /etc/sat.conf 78 RUN echo '[plugin account]\nreserved_list=' >> /etc/sat.conf
76 79