[sage-devel] Re: help menu in jupyter notebook

On Saturday, April 27, 2024 at 2:30:00 PM UTC+9 Kwankyu Lee wrote: The app provides access to a local copy of the documentation stored inside the application bundle. The files are reorganized slightly to remove duplication and then compressed with gzip. The app views the files using

[sage-devel] Re: help menu in jupyter notebook

The app provides access to a local copy of the documentation stored inside the application bundle. The files are reorganized slightly to remove duplication and then compressed with gzip. The app views the files using cocoserver , which provides a

Re: [sage-devel] Re: help menu in jupyter notebook

Yes, I was only talking about really just running Sage locally. - Marc. On Friday, April 26, 2024 at 7:54:38 PM UTC-5 Nils Bruin wrote: > On Friday 26 April 2024 at 15:44:22 UTC-7 marc@gmail.com wrote: > > I don't see what difference the choice of port makes to a user. It is not >

Re: [sage-devel] Re: help menu in jupyter notebook

On Friday 26 April 2024 at 15:44:22 UTC-7 marc@gmail.com wrote: I don't see what difference the choice of port makes to a user. It is not possible to guarantee that the same port will always be used, since ports are assigned on a first-come first-served basis. Consequently it is not

Re: [sage-devel] Re: help menu in jupyter notebook

The jupyter server operates on the loopback interface which has IP address 127.0.0.1 and IP name localhost. The cocoserver uses that same interface. Jupyter tries to get port and if that is busy it hunts for a nearby port that is not in use. The cocoserver uses an arbitrary

Re: [sage-devel] Re: help menu in jupyter notebook

On Friday 26 April 2024 at 12:29:14 UTC-7 marc@gmail.com wrote: There are other issues with viewing local documentation files in a browser. On Ubuntu, Chrome and Firefox are packaged as snaps. A snap is not allowed to read a file:// url which is not in the user's home directory. As long

Re: [sage-devel] Re: help menu in jupyter notebook

Yes, I meant MB. Thanks. There are other issues with viewing local documentation files in a browser. On Ubuntu, Chrome and Firefox are packaged as snaps. A snap is not allowed to read a file:// url which is not in the user's home directory. As long as sage is installed in the user's home

[sage-devel] Re: help menu in jupyter notebook

On Friday 26 April 2024 at 06:53:28 UTC-7 marc@gmail.com wrote: I have a suggestion to improve the situation, which is to do what the Sage_macOS app does. The app provides access to a local copy of the documentation stored inside the application bundle. The files are reorganized slightly

[sage-devel] Re: help menu in jupyter notebook

Another drawback of linking to online documentation is that the online documentation is always for the current release version of Sage, not the Sage that the user happens to be running,. I have a suggestion to improve the situation, which is to do what the Sage_macOS app does. The app

[sage-devel] Re: help menu in jupyter notebook

Only to put a note in the installation instructions somewhere, along the lines: If the URL in your browser reads /foo/bar/notebooks/whatever.ipynb, then /foo/bar/kernelspecs/sagemath/doc/html/en/index.html will take you to the local documentation. I have bookmarked a few such links, which is

[sage-devel] Re: help menu in jupyter notebook

On Wednesday, April 10, 2024 at 1:30:21 AM UTC+9 Denis wrote: At some point the help menu in jupyter notebooks started pointing to doc.sagemath.org instead of the locally built documentation. I wouldn't mind having a configuration option not to build the documentation, in which case, of