Я работаю за прокси-сервером компании с портом 1xx.xx.xx 8xxx для всех подключений к Интернету. Настройка прокси, кажется, мешает подключению к онлайн-сервисам Kenrl / Jupyter, таким как Binder. Вскоре я получаю сообщение об ошибке «невозможно подключиться» и вообще не может использовать облачный сервис. Это также относится к другим аналогичным облачным сервисам для ноутбуков, таким как JupyterHub и Google.
В других программах, таких как pip, есть возможность включить прокси-вход, чтобы он мог нормально работать. Однако я не знаю, как применить настройку «прокси» для ноутбуков Jupyter. Как я могу заставить прокси работать?