Yes. Though I haven't done much of anything along that line in the last year or so.
Anyways, poking around, https://newbedev.com/brew-install-docker-does-not-include-docker-engine seems to plausibly match my memories of what I had had working. I hope this helps, -- Raul On Fri, Sep 3, 2021 at 4:55 PM John Baker <[email protected]> wrote: > > I presume you are running Linux in a local Docker container? > > I've seen Docker put to very good use online. I believe the > https://www.overleaf.com/ system started in Docker. > > I will do some reading. > > On Fri, Sep 3, 2021 at 2:38 PM Raul Miller <[email protected]> wrote: > > > I don't know about the best way to run Linux on a VM on the Mac. (And, > > I imagine "best" implies some kind of criterion as a basis for > > judgement.) > > > > But Docker has worked for me for that purpose. > > > > I hope this helps, > > > > -- > > Raul > > > > On Fri, Sep 3, 2021 at 4:31 PM John Baker <[email protected]> wrote: > > > > > > I thought I'd throw this out to J'sters as I've received much good advice > > > in the past. > > > > > > I am looking to get a new 64bit Mac, mostly for testing J, kicking BQN > > and > > > Rust around, running the Lean Theorem Prover, and, I'm sorry to > > confess, > > > watching the upcoming Foundation series on Apple TV, but before plunking > > > down the cash I'd like to ask: > > > > > > 1) Is a native M1 version of J on the horizon? > > > > > > It usually takes two to three years after a fundamental hardware change > > > before system software is ported and optimized. The M1 hasn't been out > > long > > > enough so I'm not expecting native J versions for at least a year. > > > > > > 2) What's the best way to run Linux under a virtual machine on the Mac? > > > > > > Thanks to any and all. > > > -- > > > John D. Baker > > > [email protected] > > > ---------------------------------------------------------------------- > > > For information about J forums see http://www.jsoftware.com/forums.htm > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > > > > > -- > John D. Baker > [email protected] > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
