docklet/tools/start_jupyter.sh

57 lines
1.7 KiB
Bash
Raw Normal View History

#!/bin/sh
#
# this script should be placed in basefs/home/jupyter
#
# This next line determines what user the script runs as.
DAEMON_USER=root
# settings for docklet worker
DAEMON=`which jupyterhub-singleuser`
DAEMON_NAME=jupyter
# The process ID of the script when it runs is stored here:
PIDFILE=/home/jupyter/$DAEMON_NAME.pid
RUN_DIR=/root
#export PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
#export HOME=/home
#export SHELL=/bin/bash
#export LOGNAME=root
# JPY_API_TOKEN is needed by jupyterhub-singleuser
# it will send this token in request header to hub-api-url for authorization
# but we don't use this by now
export JPY_API_TOKEN=not-use
# user for this notebook
USER=root
# port to start service
PORT=10000
# cookie name to get from http request and send to hub_api_url for authorization
COOKIE_NAME=docklet-jupyter-cookie
# base url of this server. client will use this url for request
BASE_URL=/workspace/$USER
# prefix for login and logout
HUB_PREFIX=/jupyter
# URL for authorising cookie
HUB_API_URL=http://192.168.192.64:9000/jupyter
# IP for listening request
IP=0.0.0.0
[ -f /home/jupyter/jupyter.config ] && . /home/jupyter/jupyter.config
[ -z $IP ] && IP=$(ip address show dev eth0 | grep -P -o '10\.[0-9]*\.[0-9]*\.[0-9]*(?=/)')
DAEMON_OPTS="--no-browser --user=$USER --port=$PORT --cookie-name=$COOKIE_NAME --base-url=$BASE_URL --hub-prefix=$HUB_PREFIX --hub-api-url=$HUB_API_URL --ip=$IP --debug"
. /lib/lsb/init-functions
###########
start-stop-daemon --start --oknodo --background -d $RUN_DIR --pidfile $PIDFILE --make-pidfile --user $DAEMON_USER --chuid $DAEMON_USER --startas $DAEMON -- $DAEMON_OPTS