> *I auto-created a powershell script to make this even easier ...* Interesting! How did you auto-create that? With a translation tool?
> *Needs test.* I tried it in a Hyper-V guest running a freshly installed Windows 11 Home. I couldn't run the script by copying the code into a Powershell terminal. But after saving it in a file test.ps1, it ran through (after a reboot due to WSL activation), but Sage doesn't appear on Linux distributions. This is what I got: [image: TestWSLimport.png] Kwankyu Lee schrieb am Donnerstag, 17. Oktober 2024 um 08:00:18 UTC+2: > Another alternative would be to import the docker image as a WSL > distribution. From a user perspective, this would be simply setting up WSL, > downloading the docker image as a tar file and then run wsl --import > SageMath <path to the tar file>. The tar file could be automatically > generated from the docker image upon releasing a new version of sage (in > github ci). See > https://learn.microsoft.com/en-us/windows/wsl/use-custom-distro. But I > don't have experience with this mode of installation, so I don't know if > there are hidden shortcomings. > > > I am experimenting this mode of installation. Yes, this may be the easiest > way for a windows user to get a working sage install. > > I auto-created a powershell script to make this even easier: > > > https://github.com/sagemath/sage-binder-env/blob/master/download_and_import_sagemath_to_wsl.ps1 > > Needs test. The tar file is currently a github artifact, and is not freely > downloadable. It seems that sagemath organization membership is necessary > to access it. > > The wsl image tar file is of size about 6GB. It would be nice if we have > a public file server to accommodate the tar file. > > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/8e0edcbe-28da-4e05-9bb2-d2e80c2847ean%40googlegroups.com.
