Мне нравится создавать небольшую установку Ubuntu в машине Virtual Box. Он должен в основном предоставлять TeX Live и связанные с ним инструменты. Я понял, что у меня почти 1 ГБ данных в /usr/share/doc
. Мне не нужна эта документация в этом случае, только связанные с LaTeX страницы man
, которые там не расположены.
Есть ли способ удалить все эти файлы документации, используя apt-get
?
В качестве альтернативы можно ли просто удалить контент /usr/share/doc
?
Мне нравится делиться машиной Virtual Box с другими, что не должно бежать в беде.