Meta-ticket: Sage on WSL (Windows Subsystem for Linux)

Question

Meta-ticket: Sage on WSL (Windows Subsystem for Linux)

Opened this issue 5 years ago · 13 comments

mkoeppe commented 5 years ago

Promoting a WSL2 port as the preferred windows platform

from sage-devel charpent we should be able to commit ourselves to maintain a binary distribution for at least one WSL2-supported Linux platform.
from sage-devel mkoeppe Ubuntu and perhaps other distributions that run on WSL (1 or 2) already package recent versions of Sage. So perhaps all we need to do is test that these packages work well; and then update our documentation to recommend one or the other to potential users on Windows. (For the issue of testing of downstream packaging - see below). Also other aspects of supporting Windows can be much improved by what basically amounts to writing documentation.
- Distributions that provide up-to-date binary packages for Sage (https://repology.org/project/sagemath/versions): Arch, Manjaro, Void
- Distributions that are supported with WSL: ...?
https://groups.google.com/g/sage-support/c/iqxwX1QVezU/m/Ce2_sDVFBQAJ
#31156 (Doc: Add instructions how to run Sage + Jupyter notebook in WSL, browser in Windows)
#31157 (Doc: Add instructions on how to run the SageMath jupyter kernel in WSL, add as a kernel to Jupyter running natively in Windows)
https://code.visualstudio.com/docs/remote/wsl
#30484 Documentation/configuration for Sage on Windows using Visual Studio (vscode) with a WSL remote
see also: #30500 Meta-ticket: document configuring IDEs and text editors

Availability of WSL on Windows machines

from sage-devel charpent: create an alternative Windows port relying on WSL2 [...] This would, however, exclude support of any Windows version earlier than recent Windows 10. Is that a problem?
(from #31409 dimpase): online statistics says that among Windows installations, version 10 is approaching 80%. High time to think about WSL2 as a primary platform. Moreover, the 2nd biggest, qua # of installs, is Windows version 7, on 16%, which is past its EOL, so it's either on very old machines which won't really be capable of running resouce-hungry Sage well, anyway, or on machines having some old, unupgradeable, soft installed. Windows 8 (EOLed since 2016) is at 1% and 8.1, still supported, on 3.7%. https://gs.statcounter.com/windows-version-market-share/desktop/worldwide/
(from #31409 embray): WSL2 is an installation nightmare for typical users. ... WSL will just give you a new and different set of problems.

Central issue: Testing of binary distributions

from sage-devel mkoeppe: there is a big problem with the current binary distributions for all platforms. What seems to be missing is a procedure to test them before releasing them.
see #31133 (Meta-ticket: Making and testing binary distributions)
from sage-devel embray: It's a problem on Sage-Windows as well. In the past I've gotten it to work, but [...] it tends to break again, and [...] there is a not a well-established process for testing this

Testing that from-source installations work in WSL

#31088 GH Actions: WSL workflow: No space left on device

Developing on Windows with Sage running in WSL

#30505 tox.ini: Add wsl as a technology, to complement local and docker

References

https://adamtheautomator.com/windows-subsystem-for-linux/

CC: @dimpase @EmmanuelCharpentier @embray @kcrisman @sagetrac-tmonteil @williamstein @nbruin @NathanDunfield

Component: porting

Issue created by migration from https://trac.sagemath.org/ticket/31485

Answer 1 · 2021-03-11T21:25:03.000Z

Description changed:

--- 
+++ 
@@ -1 +1,16 @@
+**Promoting a WSL2 port as the preferred windows platform**
 
+- (from #31409 charpent, https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/AtNQ1KCMBgAJ)
+
+
+
+**Availability of WSL on Windows machines**
+
+- (from #31409 dimpase): online statistics says that among Windows installations, version 10 is approaching 80%. High time to think about WSL2 as a primary platform. Moreover, the 2nd biggest, qua # of installs, is Windows version 7, on 16%, which is past its EOL, so it's either on very old machines which won't really be capable of running resouce-hungry Sage well, anyway, or on machines having some old, unupgradeable, soft installed. Windows 8 (EOLed since 2016) is at 1% and 8.1, still supported, on 3.7%.https://gs.statcounter.com/windows-version-market-share/desktop/worldwide/
+
+- (from #31409 embray): WSL2 is an installation nightmare for typical users. ... WSL will just give you a new and different set of problems.
+
+
+
+
+

Answer 2 · 2021-03-11T21:35:16.000Z

Description changed:

--- 
+++ 
@@ -1,16 +1,31 @@
 **Promoting a WSL2 port as the preferred windows platform**
 
-- (from #31409 charpent, https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/AtNQ1KCMBgAJ)
+- from [sage-devel charpent](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/eZHBJAfEAQAJ) we should be able to commit ourselves to maintain a binary distribution for at least one WSL2-supported Linux platform.
 
+- from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/c113pbPSAQAJ) Ubuntu and perhaps other distributions that run on WSL (1 or 2) already package recent versions of Sage. 
+So perhaps all we need to do is test that these packages work well; and then update our documentation to recommend one or the other to potential users on Windows. (For the issue of testing of downstream packaging - see below). Also other aspects of supporting Windows can be much improved by what basically amounts to writing documentation.
+
+- #31156 (Doc: Add instructions how to run Sage + Jupyter notebook in WSL, browser in Windows)
+- #31157 (Doc: Add instructions on how to run the [SageMath](../wiki/SageMath) jupyter kernel in WSL, add as a kernel to Jupyter running natively in Windows)
 
 
 **Availability of WSL on Windows machines**
 
-- (from #31409 dimpase): online statistics says that among Windows installations, version 10 is approaching 80%. High time to think about WSL2 as a primary platform. Moreover, the 2nd biggest, qua # of installs, is Windows version 7, on 16%, which is past its EOL, so it's either on very old machines which won't really be capable of running resouce-hungry Sage well, anyway, or on machines having some old, unupgradeable, soft installed. Windows 8 (EOLed since 2016) is at 1% and 8.1, still supported, on 3.7%.https://gs.statcounter.com/windows-version-market-share/desktop/worldwide/
+- from [sage-devel charpent](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/eZHBJAfEAQAJ): create an alternative Windows port relying on WSL2 [...] This would, however, exclude support of any Windows version earlier than recent Windows 10. Is that a problem? 
+
+- (from #31409 dimpase): online statistics says that among Windows installations, version 10 is approaching 80%. High time to think about WSL2 as a primary platform. Moreover, the 2nd biggest, qua # of installs, is Windows version 7, on 16%, which is past its EOL, so it's either on very old machines which won't really be capable of running resouce-hungry Sage well, anyway, or on machines having some old, unupgradeable, soft installed. Windows 8 (EOLed since 2016) is at 1% and 8.1, still supported, on 3.7%. https://gs.statcounter.com/windows-version-market-share/desktop/worldwide/
 
 - (from #31409 embray): WSL2 is an installation nightmare for typical users. ... WSL will just give you a new and different set of problems.
 
 
+**Central issue: Testing of binary distributions**
+
+- from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/w7XYRfbRAQAJ): there is a big problem with the current binary distributions for all platforms. 
+What seems to be missing is a procedure to test them before releasing them. 
+ see #31133 (Meta-ticket: Making and testing binary distributions)
+
+- from [sage-devel embray](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/Z_ZH_gMQAgAJ): It's a problem on
+Sage-Windows as well. In the past I've gotten it to work, but [...] it tends to break again, and [...] there is a not a
+well-established process for testing this
 
 
-

Answer 3 · 2021-03-11T21:36:09.000Z

Description changed:

--- 
+++ 
@@ -2,8 +2,7 @@
 
 - from [sage-devel charpent](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/eZHBJAfEAQAJ) we should be able to commit ourselves to maintain a binary distribution for at least one WSL2-supported Linux platform.
 
-- from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/c113pbPSAQAJ) Ubuntu and perhaps other distributions that run on WSL (1 or 2) already package recent versions of Sage. 
-So perhaps all we need to do is test that these packages work well; and then update our documentation to recommend one or the other to potential users on Windows. (For the issue of testing of downstream packaging - see below). Also other aspects of supporting Windows can be much improved by what basically amounts to writing documentation.
+- from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/c113pbPSAQAJ) Ubuntu and perhaps other distributions that run on WSL (1 or 2) already package recent versions of Sage. So perhaps all we need to do is test that these packages work well; and then update our documentation to recommend one or the other to potential users on Windows. (For the issue of testing of downstream packaging - see below). Also other aspects of supporting Windows can be much improved by what basically amounts to writing documentation.
 
 - #31156 (Doc: Add instructions how to run Sage + Jupyter notebook in WSL, browser in Windows)
 - #31157 (Doc: Add instructions on how to run the [SageMath](../wiki/SageMath) jupyter kernel in WSL, add as a kernel to Jupyter running natively in Windows)
@@ -20,12 +19,9 @@
 
 **Central issue: Testing of binary distributions**
 
-- from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/w7XYRfbRAQAJ): there is a big problem with the current binary distributions for all platforms. 
-What seems to be missing is a procedure to test them before releasing them. 
- see #31133 (Meta-ticket: Making and testing binary distributions)
+- from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/w7XYRfbRAQAJ): there is a big problem with the current binary distributions for all platforms. What seems to be missing is a procedure to test them before releasing them. 
+  see #31133 (Meta-ticket: Making and testing binary distributions)
 
-- from [sage-devel embray](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/Z_ZH_gMQAgAJ): It's a problem on
-Sage-Windows as well. In the past I've gotten it to work, but [...] it tends to break again, and [...] there is a not a
-well-established process for testing this
+- from [sage-devel embray](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/Z_ZH_gMQAgAJ): It's a problem on Sage-Windows as well. In the past I've gotten it to work, but [...] it tends to break again, and [...] there is a not a well-established process for testing this

Answer 4 · 2021-03-11T22:24:12.000Z

Description changed:

--- 
+++ 
@@ -24,4 +24,9 @@
 
 - from [sage-devel embray](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/Z_ZH_gMQAgAJ): It's a problem on Sage-Windows as well. In the past I've gotten it to work, but [...] it tends to break again, and [...] there is a not a well-established process for testing this
 
+**Developing on Windows with Sage running in WSL**
 
+- #30505 tox.ini: Add `wsl` as a technology, to complement `local` and `docker`
+
+
+

Answer 5 · 2021-03-11T23:11:19.000Z

Description changed:

--- 
+++ 
@@ -29,4 +29,8 @@
 - #30505 tox.ini: Add `wsl` as a technology, to complement `local` and `docker`
 
 
+References
 
+- https://adamtheautomator.com/windows-subsystem-for-linux/
+
+

Answer 6 · 2021-03-12T18:54:59.000Z

Description changed:

--- 
+++ 
@@ -6,7 +6,7 @@
 
 - #31156 (Doc: Add instructions how to run Sage + Jupyter notebook in WSL, browser in Windows)
 - #31157 (Doc: Add instructions on how to run the [SageMath](../wiki/SageMath) jupyter kernel in WSL, add as a kernel to Jupyter running natively in Windows)
-
+- see also: #30500 Meta-ticket: document configuring IDEs and text editors
 
 **Availability of WSL on Windows machines**
 
@@ -24,6 +24,10 @@
 
 - from [sage-devel embray](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/Z_ZH_gMQAgAJ): It's a problem on Sage-Windows as well. In the past I've gotten it to work, but [...] it tends to break again, and [...] there is a not a well-established process for testing this
 
+**Testing that from-source installations work in WSL**
+
+- #31088 GH Actions: WSL workflow: No space left on device
+
 **Developing on Windows with Sage running in WSL**
 
 - #30505 tox.ini: Add `wsl` as a technology, to complement `local` and `docker`

Answer 7 · 2021-05-10T17:42:09.000Z

comment:7

Moving to 9.4, as 9.3 has been released.

Answer 8 · 2021-06-03T21:17:38.000Z

Description changed:

--- 
+++ 
@@ -3,6 +3,8 @@
 - from [sage-devel charpent](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/eZHBJAfEAQAJ) we should be able to commit ourselves to maintain a binary distribution for at least one WSL2-supported Linux platform.
 
 - from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/c113pbPSAQAJ) Ubuntu and perhaps other distributions that run on WSL (1 or 2) already package recent versions of Sage. So perhaps all we need to do is test that these packages work well; and then update our documentation to recommend one or the other to potential users on Windows. (For the issue of testing of downstream packaging - see below). Also other aspects of supporting Windows can be much improved by what basically amounts to writing documentation.
+
+- https://groups.google.com/g/sage-support/c/iqxwX1QVezU/m/Ce2_sDVFBQAJ
 
 - #31156 (Doc: Add instructions how to run Sage + Jupyter notebook in WSL, browser in Windows)
 - #31157 (Doc: Add instructions on how to run the [SageMath](../wiki/SageMath) jupyter kernel in WSL, add as a kernel to Jupyter running natively in Windows)

Answer 9 · 2021-09-29T20:22:51.000Z

Description changed:

--- 
+++ 
@@ -8,6 +8,7 @@
 
 - #31156 (Doc: Add instructions how to run Sage + Jupyter notebook in WSL, browser in Windows)
 - #31157 (Doc: Add instructions on how to run the [SageMath](../wiki/SageMath) jupyter kernel in WSL, add as a kernel to Jupyter running natively in Windows)
+- https://code.visualstudio.com/docs/remote/wsl
 - see also: #30500 Meta-ticket: document configuring IDEs and text editors
 
 **Availability of WSL on Windows machines**

Answer 10 · 2022-02-07T17:55:03.000Z

Description changed:

--- 
+++ 
@@ -3,6 +3,15 @@
 - from [sage-devel charpent](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/eZHBJAfEAQAJ) we should be able to commit ourselves to maintain a binary distribution for at least one WSL2-supported Linux platform.
 
 - from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/c113pbPSAQAJ) Ubuntu and perhaps other distributions that run on WSL (1 or 2) already package recent versions of Sage. So perhaps all we need to do is test that these packages work well; and then update our documentation to recommend one or the other to potential users on Windows. (For the issue of testing of downstream packaging - see below). Also other aspects of supporting Windows can be much improved by what basically amounts to writing documentation.
+
+  - Distributions that provide up-to-date binary packages 
+  for Sage (https://repology.org/project/sagemath/versions):
+    - Arch/Manjaro
+    - Void
+
+
+  - Distributions that are supported with WSL:
+    - ...?
 
 - https://groups.google.com/g/sage-support/c/iqxwX1QVezU/m/Ce2_sDVFBQAJ

Answer 11 · 2022-02-07T17:56:22.000Z

Description changed:

--- 
+++ 
@@ -4,14 +4,9 @@
 
 - from [sage-devel mkoeppe](https://groups.google.com/g/sage-devel/c/alkG4veIsBk/m/c113pbPSAQAJ) Ubuntu and perhaps other distributions that run on WSL (1 or 2) already package recent versions of Sage. So perhaps all we need to do is test that these packages work well; and then update our documentation to recommend one or the other to potential users on Windows. (For the issue of testing of downstream packaging - see below). Also other aspects of supporting Windows can be much improved by what basically amounts to writing documentation.
 
-  - Distributions that provide up-to-date binary packages 
-  for Sage (https://repology.org/project/sagemath/versions):
-    - Arch/Manjaro
-    - Void
+  - Distributions that provide up-to-date binary packages for Sage (https://repology.org/project/sagemath/versions): Arch, Manjaro, Void
 
-
-  - Distributions that are supported with WSL:
-    - ...?
+  - Distributions that are supported with WSL: ...?
 
 - https://groups.google.com/g/sage-support/c/iqxwX1QVezU/m/Ce2_sDVFBQAJ

Answer 12 · 2022-04-05T01:12:51.000Z

comment:14

https://wiki.sagemath.org/SageWindows has some info

Answer 13 · 2022-04-07T18:38:47.000Z

Description changed:

--- 
+++ 
@@ -13,6 +13,7 @@
 - #31156 (Doc: Add instructions how to run Sage + Jupyter notebook in WSL, browser in Windows)
 - #31157 (Doc: Add instructions on how to run the [SageMath](../wiki/SageMath) jupyter kernel in WSL, add as a kernel to Jupyter running natively in Windows)
 - https://code.visualstudio.com/docs/remote/wsl
+- #30484 Documentation/configuration for Sage on Windows using Visual Studio (vscode) with a WSL remote 
 - see also: #30500 Meta-ticket: document configuring IDEs and text editors
 
 **Availability of WSL on Windows machines**