Le 18/10/2021 à 22:48, David Kastrup a écrit :
Thanks! It may sound silly, but I really am lost figuring out what
flags and category apply.
Not trying to restart the previous discussion or
implying that you should know about them, but
it might be useful to note that the CG section about
these
James writes:
> On 17/10/2021 21:45, David Kastrup wrote:
>>
>> Since it is sort of a nuisance to get rid of files you don't own, it
>> would be good if make install-* did not create any files in-tree when
>> the respective make * commands have already been run.
>>
>> After all, it is one of the
Hello
On 17/10/2021 21:45, David Kastrup wrote:
If I do
make && make doc && make info
followed by
sudo make install && sudo make install-doc && sudo make install-info
I am left with files in the tree that are not owned by myself.
To wit:
find ! -user dak
gives me
./out/offline-root
./out