Преобразование pdf в txt под Linux

Устанавливаем poppler-utils:

$ sudo apt-get install poppler-utils

Синтакс pdftotext:

pdftotext {PDF-file} {text-file}

Как сконвертировать pdf в txt?

Чтобы сконвертировать PDF-файл с названием HP-manual.pdf в HP-manual.txt, введите в терминале:

$ pdftotext hp-manual.pdf hp-manual.txt

Источник: http://pnaplinux.blogspot.ru/2008/11/in-linux-flavours-how-to-pdf2txt.html

Проблема со всплывающими окнами в Cinnamon (Mint Linux)

В файле /usr/share/cinnamon/js/ui/windowAttentionHandler.js добавить в 27 строку следующее:

global.log_error("Focus stolen by : " + window.get_wm_class());

и перезапустить Cinnamon.

По материалам: https://github.com/linuxmint/Cinnamon/issues/233 (сохраненная копия)

Установка браузера по умолчанию через терминал

sudo update-alternatives --config x-www-browser