Экспорт GNotes через командную строку

К сожалению, похоже, что недавнее обновление системы сломало мой драйвер видеокарты, поэтому я собираюсь переустановить последнюю версию Ubuntu (18.04). Прежде чем я сделаю это, я хочу экспортировать свои GNotes. Из-за описанной выше проблемы я могу войти в систему только через консоль (Ctrl+Alt+F...), а не через GUI. То, о чем я прошу, может быть изложено в официальной документации https://help.gnome.org/users/gnote/unstable/plugins.html.en, но потому что я не очень грамотен в такого рода компьютерных вещах Кто-нибудь может выложить мне, какую последовательность команд я должен ввести, чтобы сохранить их как HTML-файл, скажем, в моем домашнем каталоге? В графическом интерфейсе я знаю, что нажимать, чтобы вернуть мою библиотеку в формате pdf или html, но в этом случае все очевидно сложнее, если не невозможно.