diff options
author | Jan Uhlig <[email protected]> | 2017-09-19 16:58:09 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2017-09-19 16:58:09 +0200 |
commit | 76f3ab093ded13fc687356968169be301c1e65d0 (patch) | |
tree | 5c130c50451229b76ebbe7a4c41ff4e5be59f679 /rebar3.cmd | |
parent | 36e0ad410310031cab1bf83d864017f05b45b9cc (diff) | |
download | relx-76f3ab093ded13fc687356968169be301c1e65d0.tar.gz relx-76f3ab093ded13fc687356968169be301c1e65d0.tar.bz2 relx-76f3ab093ded13fc687356968169be301c1e65d0.zip |
PIPE_DIR handling
As mentioned in the (closed) issue #127, the default pipe directory is not multi-user friendly. When running multiple relx-generated releases as different users, the first to be started will create the /tmp/erl_pipes directory, which the ones starting after that cannot create their pipe dirs in. The ticket mentions that this should be fixed by #154, but I cannot see how this is supposed to solve the issue. Right now, the only way I see is to use prefix the start command with env PIPE_DIR=/some/other/dir/, which is quite cumbersome.
This change will work exactly as before when PIPE_DIR is explicitly set. In case PIPE_DIR is not set, however, it will first attempt to create the parent dir /tmp/erl_pipes with mode 1777, which should enable releases being run as other users to create their pipe dirs.
Diffstat (limited to 'rebar3.cmd')
0 files changed, 0 insertions, 0 deletions