On Sun, Aug 13, 2023 at 06:40:54PM +0200, Daniele B. 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..
I don't think that command tells you anything about the installation status of that package. When I need to check if a package is installed, I use for example: $ pkg_info | grep "gtk.doc" >From pkg_info(1): "If no pkg-name is specified, pkg_info shows the names and one-line comments for all installed packages except internal packages. > 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.. I'm not sure that that's the command to answer the question that you have. In fact, with wc -l: 14274 this is an exceptionally noisy command and it shows dozens if not hundreds of different packages that install into share/gtk-doc. Note that pkg_locate doesn't limit itself to what you have currently installed, but shows any file from any package, installed or not, that has the string 'share/gtk-doc' in its path. > > > 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? I think that's asking for trouble and sometimes hard-to-diagnose bugs with packages in the future. I'm still not sure what problem you are trying to solve... You want to upgrade, but are afraid of having too little space in the /usr partition? Frankly, having /usr/local on its own partition is exactly the kind of default that would protect you from /usr/local/share/gtk-docs impinging on your space in the /usr partition... Not sure if that problem situation isn't entirely self-made and you are looking for solving the problems of unsupported customization with even more unsupported customization...
