Setting up HPI - config file

Hi, struggling to install orger for which I need HPI 😃

I read:

After installing HPI, run hpi config create.

This will create an empty config file for you (usually, in ~/.config/my), which you can edit. Example configuration:

import pytz # yes, you can use any Python stuff in the config

class emfit:
    export_path = '/data/exports/emfit'
    tz = pytz.timezone('Europe/London')
    excluded_sids = []
    cache_path  = '/tmp/emfit.cache'

class instapaper:
    export_path = '/data/exports/instapaper'

class roamresearch:
    export_path = '/data/exports/roamresearch'
    username    = 'karlicoss'

(1) I have no my/config file under ~/.config (2) Is the config file /Users/user/HPI/my/config.py? (3) What exactly should I add in here? I don’t see where to include my personal user data to access hypothesis.

Thanks so much!

[seanbreckenridge]

HPI uses appdirs to figure out where to put your config. See preinit for the code that figures that out

You can set the MY_CONFIG environment variable to override that, so in your .bashrc or .zshrc set:

export MY_CONFIG="${HOME}/.config/my"

[karlicoss]

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 background, etc.