Daniel Mejia
11/15/2022, 8:47 PMfoundeo
foundeo
Daniel Mejia
11/15/2022, 9:00 PMfoundeo
foundeo
foundeo
foundeo
foundeo
Daniel Mejia
11/15/2022, 9:03 PMDaniel Mejia
11/15/2022, 9:04 PMDaniel Mejia
11/15/2022, 9:05 PMfoundeo
box.exe
vs docker run docker run -it --rm foundeo/minibox:latest box
then I don’t think it will be much fasterDaniel Mejia
11/15/2022, 9:19 PMdocker exec container-name box fmt $[input_file}
anytime I want to. Feasible right?Daniel Mejia
11/15/2022, 9:42 PMbdw429s
11/15/2022, 9:48 PMbdw429s
11/15/2022, 9:49 PMI was thinking I'd start the container if not already started, thenThis doesn't make any sense. The overhead is the startup ofanytime I want to. Feasible right?docker exec container-name box fmt $[input_file}
box
, not the container itself so there's no value in having the container running first.Daniel Mejia
11/15/2022, 9:49 PMbdw429s
11/15/2022, 9:49 PMDaniel Mejia
11/15/2022, 9:50 PMbdw429s
11/15/2022, 9:50 PMDaniel Mejia
11/15/2022, 9:52 PMbdw429s
11/15/2022, 9:54 PMDaniel Mejia
11/15/2022, 9:54 PMbdw429s
11/15/2022, 9:55 PMbdw429s
11/15/2022, 9:55 PMbdw429s
11/15/2022, 9:55 PMbdw429s
11/15/2022, 9:55 PMbdw429s
11/15/2022, 9:56 PMrestart
just run box server restart
and spin up a box instanceDaniel Mejia
11/15/2022, 10:05 PMbdw429s
11/15/2022, 10:10 PMbdw429s
11/15/2022, 10:10 PMbdw429s
11/15/2022, 10:11 PM