Специализированные пакеты, такие как minted
, в которых для форматирования используются фрагменты, предлагают различные преимущества по сравнению с пакетом listings
. Цитируя из руководства minted
,
,
,Pygments предоставляет намного лучшую подсветку синтаксиса по сравнению с обычными пакетами. Например, списки в основном только выделяют строки, комментарии и ключевые слова. С другой стороны, фрагменты можно полностью настроить, чтобы выделить любой вид токена, который может поддерживать исходный язык. Это может включать специальные последовательности форматирования внутри строк, чисел, различные виды идентификаторов и экзотические конструкции, такие как HTML-теги.
Вы можете перезапустить самбу вручную.
sudo /etc/init.d/smbd restart
sudo /etc/init.d/nmbd restart
Возможно, вам также потребуется перезапустить окна или подождать некоторое время, нажав кнопку «Обновить», чтобы очистить кэш окон. У вас могут быть проблемы с подключением к одному серверу Samba с двумя разными пользователями.
Кстати: samba всегда будет вызывать у вас проблемы, потому что это часто случается. (не может изменить ip порты, он не зашифрован, поэтому подходит только для локальной сети) Используйте ssh, если можете. Если вам просто нужно скопировать файлы, winscp.net сделает эту работу.
BTW2: ребята из ubuntu (или system-config-samba) могли бы перезапустить процессы samba, потому что это было уже годами (в 14.10 проблема все еще не устранена, и я помню, что это было до 13.?)