|
@@ -0,0 +1,29 @@
|
|
|
+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}
|