Hello! I'd really like to get this working on flatpak. I'm trying to sandbox off applications from the system in Linux, and flatpak is an easy way to do that. I'm thinking we could use electron (https://www.electronjs.org/) to create a gui if needed, but like stated previously you don't *need* a gui, you can just have a socket open that the browser can point to. Is there any work that has been done on this? I've searched the github issues as well as this group, and haven't seen any work on this yet, only this post and one from like 2015.
Thanks, Jerry Caligiure On Sunday, April 25, 2021 at 2:53:03 PM UTC-4 Samuel Lelievre wrote: > 2021-04-18 08:17:31 UTC, Volker Braun: > >> flatpak is designed for gui apps, registering a desktop icon and so on. > > To really make use of it we'd need at least a small gui app that then > > lets you start/stop the jupyter server and/or launch browser windows. > > > Marc Culler's SageMath-macOS app could provide inspiration for that. > > If you just want to run Sage then there is already a one-liner >> > podman / docker command to download and run it (and with >> > podman any user account can do it, no permission setup needed): >> >> podman run -it sagemath/sagemath >> > > I installed podman under macOS using Homebrew by running > ``` > $ brew install podman > ``` > and I then got the following error running the command above: > ``` > $ podman run -it sagemath/sagemath > Error: cannot connect to the Podman socket, please verify that Podman > REST API service is running: Get "http://d/v3.1.2/libpod/_ping": dial > unix ///var/folders/fp/.../T/podman-run--1/podman/podman.sock: > connect: no such file or directory > ``` > Seems I'm missing one step to get the REST API service running. > -- 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 visit https://groups.google.com/d/msgid/sage-devel/205f0e03-93f8-4b49-b85d-e94c6c6b3e01n%40googlegroups.com.
