On Fri, 4 Nov 2022 at 08:28, robert rottermann <robert at redcor.ch> wrote: > > Hi there > > I have a folder on my Ubuntu 20.04 that has owner 1001 like so: > > drwxrwxrwx 8 1001 abacus 4096 Nov 3 14:44 if_fernuni/ > > > now I do not find any user with id 1001. > > > Who/what is that user with uid 1001? Try ls -n /home Colin