pdf2svg работает достаточно хорошо.
Используйте pdf2svg , чтобы избежать номеров страниц и pdfcrop (пакет texlive-extra-utils), чтобы удалить пустое пространство вокруг уравнений
Если вы хотите переопределить или добавить серверы имен, предлагаемые сервером DHCP, вы можете настроить это в /etc/dhcp/dhclient.conf, например:
interface "eth0" {
prepend domain-name-servers 10.0.0.2;
}
. Вы также можете сделать это из раздела «Редактировать Connections "в сетевом индикаторе в Unity или GNOME.
Решение, которое решит вашу проблему, - это настроить ваш пакет resolvconf.
Отредактируйте файл: /etc/resolvconf/resolv.conf.d/head
Поместите нужный вам желаемый сервер имен, а также любые другие параметры параметров resolv.conf, такие как параметры поиска и домена. серверов имен и любых других конфигураций, которые вы хотите использовать, когда там происходит изменение сети. Когда происходят какие-либо изменения в сети, конфигурация там всегда будет иметь приоритет.
Пример файла /etc/resolvconf/resolv.conf.d/head:
# Dynamic resolv.conf(5) file for glibc resolver(3) generated by resolvconf(8)
# DO NOT EDIT THIS FILE BY HAND -- YOUR CHANGES WILL BE OVERWRITTEN
nameserver 8.8.8.8
search mydomain.com
Посмотрите на ответ на аналогичный вопрос : override dns nameserver
Примечание. Обязательно верните строку после последней записи. Большинство редакторов автоматически выдадут перевод строки при сохранении файла.
Я нашел ссылку на удаление клиента dhcp, я думаю, что это был главный виновник. Я сделал это и еще не видел проблемы. Подождите до утра, чтобы подтвердить, но похоже, что клиент dhcp все еще работал и его нужно было остановить и удалить.
apt-get remove isc-dhcp-client dhcp3-client dhcpcd
Как правило, вы всегда должны удалять все сетевые службы, используя apt-get --purge remove <package-name>. Таким образом, все файлы конфигурации будут удалены.
В этом случае команда будет:
apt-get --purge remove isc-dhcp-client isc-dhcp-common
Эта команда полностью удалит isc-dhcp-client.