mirror of
https://github.com/livebook-dev/livebook.git
synced 2025-01-27 09:19:02 +08:00
c0601798f3
* Run in interactive mode: it uses less memory and improves
boot time, which is the most desired properties for a dev tool
* Do not use releases/cookie, instead generate one on boot
5 lines
219 B
Batchfile
5 lines
219 B
Batchfile
set RELEASE_MODE=interactive
|
|
if not defined RELEASE_COOKIE (
|
|
for /f "skip=1" %%X in ('wmic os get localdatetime') do if not defined TIMESTAMP set TIMESTAMP=%%X
|
|
set RELEASE_COOKIE=cookie-!TIMESTAMP:~0,11!-!RANDOM!
|
|
)
|