Update external Windows packages, minor batchfile fixes

This commit is contained in:
ROllerozxa 2023-12-26 16:03:08 +01:00
commit 50301eac71
2 changed files with 8 additions and 3 deletions

View file

@ -64,7 +64,7 @@ jobs:
# custom built packages with less dependencies than MSYS' counterparts
- name: Install external packages
run: |
wget https://grejer.voxelmanip.se/msys-pkgs/mingw-w64-ucrt-x86_64-{curl-winssl-8.4.0-3,freetype-2.13.2-1,SDL2_image-2.6.3-2,SDL2_mixer-2.6.3-1}-any.pkg.tar.zst
wget https://grejer.voxelmanip.se/msys-pkgs/mingw-w64-ucrt-x86_64-{curl-winssl-8.5.0-1,freetype-2.13.2-1,SDL2_image-2.8.1-1,SDL2_mixer-2.6.3-1}-any.pkg.tar.zst
pacman -U --noconfirm *.pkg.tar.zst
- name: Build

View file

@ -34,7 +34,8 @@ goto main
echo.
echo Enter the numeric ID of the level you want to play.
echo.
echo (To find a level's ID, see the URL "/level/<ID>", or the "Level ID: <ID>" below the level's thumbnail.)
echo (To find a level's ID, see the URL "/level/<ID>", or
echo the "Level ID: <ID>" below the level's thumbnail.)
echo.
set /p level=^>
@ -51,7 +52,11 @@ goto main
:main
echo.
echo This is a helper script to allow playing levels with a portable version of Principia without needing to install registry keys.
echo This is a helper script to allow playing levels with a portable version of
echo Principia without needing to install registry keys.
echo.
echo For more info about the portable Windows build of Principia see:
echo https://principia-web.se/wiki/Windows_Portable
echo.
echo Select a community site domain: