Jupyter notebook
Use a jupyter notebook server running on the remote desktop from the local PC.
WARNING: The way synchronization works with remi will delete all modifications made remotely. You should put your notebooks in thenotebooks/directory (which is excluded by default) and get them back on your local machine usingremi pull notebooks/.
Available subcommands:
remi jupyter [start] [(-p | --port) PORT] [(-h | --hostname) HOSTNAME] [--browser/--no-browser]
Run a jupyter server on the remote desktop.
start is the default sub-command (which can thus be run using remi jupyter).
Options:
-p | --port: The port (local and remote) for the server.
Default:8080-h | --hostname: The hostname of an Inria computer.
Default: The value ofpc_namein the config file.--browser/--no-browser: If enabled, automatically open the jupyter notebook in the local browser.
Default: The value ofopen_browserin thejupytersection of the config file.
remi jupyter stop [(-p | --port) PORT] [(-h | --hostname) HOSTNAME]
Stop the jupyter server on the remote desktop.
Options:
-p | --port: The port (local and remote) for the server.
Default:8080-h | --hostname: The hostname of an Inria computer.
Default: The value ofpc_namein the config file.