On Mon 2019-11-25 (18:35), Miroslav Lachman wrote:
> It is possible you have some non printable (invisible) character in the
> filename. It can be trailing space, newline or something else so in fact
Wow I'm an idiot, thought I'd spotted a bug, yes there was a trailing space,
many thanks.
___
Gareth de Vaux wrote on 2019/11/25 18:00:
Hi all, I deleted a file (rm filter) by mistake instead of its backup 'filter~',
however it seems a remnant of a much older version of the file (given by its
date and content) is half hanging around?
$ ls -l filter
ls: filter: No such file or directory
On Mon, Nov 25, 2019 at 10:01 AM Gareth de Vaux wrote:
> Hi all, I deleted a file (rm filter) by mistake instead of its backup
> 'filter~',
> however it seems a remnant of a much older version of the file (given by
> its
> date and content) is half hanging around?
>
> $ ls -l filter
> ls: filter:
Hi all, I deleted a file (rm filter) by mistake instead of its backup 'filter~',
however it seems a remnant of a much older version of the file (given by its
date and content) is half hanging around?
$ ls -l filter
ls: filter: No such file or directory
$ ls -l filter*
-rw-r--r-- 1 lordcow lord