karlicoss

Some test data I uploaded myself - https://github.com/karlicoss/hpi-testdata - https://github.com/karlicoss/mydata

Right, have you run `hpi config create`? It will print out a path like `/path_to_home_dir/.config/my/my/config/__init__.py` -- this will be your personal config which you can edit. In the config, you'll...

If you want to setup hypothesis, the first thing you'd need to do is to setup [hypexport](https://github.com/karlicoss/hypexport#setting-up) and try to export the data, let me know if the instructions are...

Well done with hypexport! > So the file /Users/gahis/HPI/my/config.py should not be touched Ah! Is it the same file as this? https://github.com/karlicoss/HPI/blob/master/my/config.py Then no, it's basically there just for documentation...

Not problem, it's a bit cryptic indeed :) Basically means it can't construct the config because `export_path` is missing, which shouldn't be the case if you added it 🤔 Can...

> I had "export_path:" and noticed in your last message you did not have : but = (export_path = Huh, this is actually something `mypy` would have caught (note the...

Excellent, glad I could help, especially to a non-programmer :) The last thing you might want to do is to make sure the export command (`python3 -m hypexport.export --username username...

> Ok, I get it. First I need to run the hypexport and then have another line to run python hypothesis.py Yep! Just space it apart in time, e.g. run...

Ah yes, possibly sequential by default. I guess it's more of my general habit -- with some schedulers it's parallel, or sometimes the process forks off and runs in the...

> When following the instructions here Yeah, perhaps I need to add a short explanation; I guess I kind of assumed people would be familiar with python and figure out...