Allow setting LIVEBOOK_PORT in ~/.livebookdesktop.sh (#1920)

This commit is contained in:
Wojtek Mach 2023-05-23 16:22:17 +02:00 committed by GitHub
parent 01bf6cd27d
commit 5feac07d0e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -7,7 +7,7 @@ set RELEASE_MODE=interactive
set MIX_ARCHIVES=!RELEASE_ROOT!\vendor\archives
set MIX_REBAR3=!RELEASE_ROOT!\vendor\rebar3
set LIVEBOOK_SHUTDOWN_ENABLED=true
set LIVEBOOK_PORT=0
if not defined LIVEBOOK_PORT (set LIVEBOOK_PORT=0)
set PATH=!RELEASE_ROOT!\vendor\otp\erts-<%= @release.erts_version%>\bin;!RELEASE_ROOT!\vendor\otp\bin;!RELEASE_ROOT!\vendor\elixir\bin;!PATH!
set cookie_path=!RELEASE_ROOT!\releases\COOKIE

View file

@ -13,7 +13,7 @@ export RELEASE_MODE=interactive
export MIX_ARCHIVES="${RELEASE_ROOT}/vendor/archives"
export MIX_REBAR3="${RELEASE_ROOT}/vendor/rebar3"
export LIVEBOOK_SHUTDOWN_ENABLED=true
export LIVEBOOK_PORT=0
[ -z "$LIVEBOOK_PORT" ] && export LIVEBOOK_PORT=0
export PATH="$RELEASE_ROOT/vendor/otp/erts-<%= @release.erts_version%>/bin:$RELEASE_ROOT/vendor/otp/bin:$RELEASE_ROOT/vendor/elixir/bin:$PATH"
cookie_path="${RELEASE_ROOT}/releases/COOKIE"