1234567891011121314151617181920212223242526272829 |
- export BLACK_LIST_URIS="https://raw.githubusercontent.com/datalayer-jupyterlab/jupyterlab-listings-example/master/blacklist_simple.json"
- export WHITE_LIST_URIS="https://raw.githubusercontent.com/datalayer-jupyterlab/jupyterlab-listings-example/master/whitelist_simple.json"
- export LISTINGS_REFRESH_MS=30000
- export LISTINGS_REQUEST_OPTS="{'timeout': 10}"
- listings-uris:
- @exec echo Using blacklist URIs: ${BLACK_LIST_URIS}
- @exec echo Using whitelist URIs: ${WHITE_LIST_URIS}
- @exec echo Refreshing lists every ${LISTINGS_REFRESH_MS} milliseconds
- @exec echo Using ${LISTINGS_REQUEST_OPTS} for the HTTP requests
- dev: listings-uris
- @exec python main.py \
- --dev \
- --no-browser \
- --LabServerApp.blacklist_uris=${BLACK_LIST_URIS} \
- --LabServerApp.whitelist_uris=${WHITE_LIST_URIS} \
- --LabServerApp.listings_refresh_ms=${LISTINGS_REFRESH_MS} \
- --LabServerApp.listings_request_options=${LISTINGS_REQUEST_OPTS}
- watch: listings-uris
- @exec python main.py \
- --dev \
- --no-browser \
- --watch \
- --LabServerApp.blacklist_uris=${BLACK_LIST_URIS} \
- --LabServerApp.whitelist_uris=${WHITE_LIST_URIS} \
- --LabServerApp.listings_refresh_ms=${LISTINGS_REFRESH_MS} \
- --LabServerApp.listings_request_options=${LISTINGS_REQUEST_OPTS}
|