Вы можете сделать это с curl
или вручную загрузив тему. Я дал шаги для обоих вариантов ниже.
Создать собственный профиль с помощью следующей команды:
ipython profile create ocean
Заменить содержимое таблицы стилей по умолчанию custom.css
с этим требуемой темы с помощью следующей команды
Использование локон:
curl -o `ipython locate profile ocean`/static/custom/custom.css https://raw.githubusercontent.com/nsonnad/base16-ipython-notebook/master/base16-ocean-dark.css
Запустить IPython
ноутбук по спецификации обработка пользовательского профиля, например.
ipython notebook --profile=ocean
Альтернатива:
Если вы не в состоянии загрузить с помощью curl
, вы можете просто скачать base16-ocean-dark.css
и заменить custom.css
в пользовательском каталоге вашего созданного профиля.
Найдите каталог профиля:
ipython locate profile ocean
Перейти к своему каталогу static/custom
и заменить содержимое custom.css
с этим загруженного css
файла. Запустите блокнот IPython
, указав настраиваемый профиль, как показано выше.
Эй, я сделал то, что вы предложили, но получите вопрос «Тема класс3 не найдена. Доступно:» и пустой список следует, по-видимому. Я посмотрел на 'jupyterthemes/__ init __. Py', и эта ошибка появляется, когда метод get_theme() возвращает список тем, которые не содержат класс 3. Но, честно говоря, у меня такое чувство, что он выглядит в неправильном каталоге. В то же время я не смог установить его из git, поэтому я установил его из zip-файла - не уверен, будет ли какая-либо разница. – Ilya
@llya У вас есть папки '.jupyter',' .jupyter-themes' в домашнем доме? И нужна 'custom' папка под' .jupyter'. PS: Я использую окна, возможно, другие os будут иметь разные настройки. – Mithril
Я также использую Windows. У меня есть папка '.jupyter', с одним файлом' migrated' без расширения. – Ilya