Когда вы создаете рабочую область, это создает файл в ~/.jupyter/lab/workspaces
.Имя вашего рабочего пространства находится в ключе ['metadata']['id']
соответствующего JSON-файла.
Поэтому простой код для перечисления всех рабочих пространств:
import os, glob, json
for fname in glob.glob(os.path.join(os.environ['HOME'], ".jupyter/lab/workspaces/*")):
with open (fname, "r") as read_file:
print (json.load(read_file)['metadata']['id'])
Для удобства я создал суть с этим битом кода.Я также добавил некоторые косметические средства для непосредственного создания различных URL-адресов:
$ list_workspaces.py -u
http://10.164.5.234:8888/lab
http://10.164.5.234:8888/lab/workspaces/BBCP
http://10.164.5.234:8888/lab/workspaces/blog