
I get this error running docker build: E: The repository '<http://security.ubuntu.com/ubuntu> artful-security Release' does not have a Release file.
E: The repository '<http://archive.ubuntu.com/ubuntu> artful Release' does not have a Release file.
E: The repository '<http://archive.ubuntu.com/ubuntu> artful-updates Release' does not have a Release file.
E: The repository '<http://archive.ubuntu.com/ubuntu> artful-backports Release' does not have a Release file.

I think the problem is that 17.10 is too old

I made the VM with the newer version I will update docker too

which version?

18.04 lts

ok that’s working

ok next problem: it asked me what geographic area I’m in

huh that’s weird is it asking for a specific command or when initializing?

i found a fix, i think

I got it to run, but it doesn’t run any experiments, right?

make setup
and then make gmm-25
will run gmm

when I try to run the docker command, I get: /init.sh:3: command not found: locale-gen

You can just remove that line from init.sh

Even with that error it should proceed

And give you the terminal at hakaru-benchmarks

currently I’m getting a racket error when installing the packages

raco setup: docs failure: query-exec: unable to open the database file
error code: 14
SQL: "ATTACH $1 AS other"
database: #<path:/root/.racket/7.2/doc/docindex.sqlite>
mode: 'read-only
file permissions: (write read)
raco setup: --- installing collections ---
raco setup: --- post-installing collections ---
raco pkg install: packages installed, although setup reported errors
Makefile:20: recipe for target 'build-rkt' failed

then I got a stan error after that went away

but fortunately retrying seems to have fixed the stan error

I still don’t know how to fix the stan error it errors out in tar right?

yes

do you know why?

i removed the directory, and re ran make setup
and it went away

I don’t

Don’t remove that there are some custom files for Stan

I did give keep files option but it still complains

oh so the directory already exists?

Yes and some files too

ah that seems troublesome

can we do this in the other order?

untar, then add the files?

Yeah let me try something

I pushed a fix

Major rewrite, so to speak, to detail the workhorse case of unproduct…