Re: [sage-support] customization of sage docker

2022-03-30 Thread Wai Yan Pong
Thanks Dima. I followed the tutorial and was able to save the changes to a new docker image. On Mon, Mar 28, 2022 at 6:54 AM Dima Pasechnik wrote: > On Sun, Mar 27, 2022 at 5:12 PM pong wrote: > > > > I am switching to running sage docker image since the latest binaries > for linux is no longer

Re: [sage-support] customization of sage docker

2022-03-28 Thread Dima Pasechnik
On Sun, Mar 27, 2022 at 5:12 PM pong wrote: > > I am switching to running sage docker image since the latest binaries for > linux is no longer available. But can I make any customization, say in > init.sage survive the quitting of docker? This isn't Sage-specific; yes, you can modify docker ima

Re: [sage-support] customization of sage docker

2022-03-28 Thread Henri Girard
I am not answering directly to your question, but why don't use wsl if you are on windows ? As you don't say which OS you use I can't really say much ? Le 27/03/2022 à 18:12, pong a écrit : I am switching to running sage docker image since the latest binaries for linux is no longer available.

[sage-support] customization of sage docker

2022-03-27 Thread pong
I am switching to running sage docker image since the latest binaries for linux is no longer available. But can I make any customization, say in init.sage survive the quitting of docker? If yes, may I get some help on how? -- You received this message because you are subscribed to the Google Gr