On 2023-08-13, Daniele B. <[email protected]> wrote: > > Thanks Stuart, as usual. > > Stuart Henderson <[email protected]> wrote: > >> > I still do not understand why I have gtk-doc presents on disk but I >> > keep it for myself, not like the mistake on the signature, I mean.. >> > then we go to disturb the developers, bloood.. >> >> Because you installed a package which includes them. >> >> You might not need that package any more, use pkglocate to track down >> which package provides a certain file. > > pkg_info gtk-doc doesn't say me gtk-doc is installed..
The gtk-doc package has the tools. Actual doc for various libraries is usually included with the package for that library. Not sure how much space it takes on your system, but on mine it's about 100M, and if I was worried about 100M on a shared /usr and /usr/local, I'd definitely want a larger partition. The most common packages that install gtk-doc files which actually take noticable amounts of space are the various webkit2gtk ones. You may find that you have 2 versions of webkit2gtk installed from previous dependencies pulling them in and one of them is no longer needed. You could also "pkg_delete -na" (simulate uninstalling packages which were only installed as dependencies) and review the list. If it shows any packages which you actually want then "pkg_add -m <pkgname>" to set the "manually installed" marker, then "pkg_delete -a" to remove the rest. > But when I launch: > > pkg_locate share/gtk-doc | less > > from the displayed list I think there is no package missing to have > resources installed there.. > >> > For now I moved doc and gtk-doc with their image files away reaching >> > quota 25% free. If you say it I could probably be happy about it.. >> >> Now you'll have problems when you update packages. > > I move them away linking -s to them onto /usr/local, do you still think > it can cause problems? That's quite possible.
