Fix RELEASE_COOKIE for Windows 11 (#3003)

This commit is contained in:
Wojtek Mach 2025-05-14 12:25:19 +02:00 committed by GitHub
parent caeb45f730
commit f2e0427f0d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 4 additions and 4 deletions

View file

@ -16,8 +16,8 @@ if defined LIVEBOOK_NODE set RELEASE_NODE=!LIVEBOOK_NODE!
if defined LIVEBOOK_COOKIE set RELEASE_COOKIE=!LIVEBOOK_COOKIE!
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!
REM Create random cookie. Removes spaces using : =%. Do not remove this comment.
set RELEASE_COOKIE=cookie-%DATE: =%_%TIME: =%_%RANDOM%
)
cd !HOMEDRIVE!!HOMEPATH!

View file

@ -11,8 +11,8 @@ set RELEASE_MODE=interactive
set RELEASE_DISTRIBUTION=none
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!
REM Create random cookie. Removes spaces using : =%. Do not remove this comment.
set RELEASE_COOKIE=cookie-%DATE: =%_%TIME: =%_%RANDOM%
)
cd !HOMEDRIVE!!HOMEPATH!