File Manager with Operation History?

[George Gaarder]

That's great, I really should have considered a easily-customizing
one! I believe this can solve my problem and save me some hours of
time. Thanks again.

On Sat, 13 Oct 2018 16:09:57 +0200
Ralf Mardorf via ubuntu-users <ubuntu-users at lists.ubuntu.com> wrote:

> On Sat, 13 Oct 2018 21:32:52 +0800, George Gaarder wrote:
> >Are there any file managers supporting recording the opertion
> >history, which maybe looks like:
> >
> >    2018/10/01 Mon 08:46  MV ~/Download/zoo.mp4 => ~/family/zoo.mp4
> >    2018/10/01 Mon 08:50  RM ~/Download/economist.pdf
> >    2018/10/01 Mon 08:55  CP ~/Mail/yanhh0/92 => /media/samsung/
> >
> >I did a search found nothing. If there is no such thing I will
> >spend next Saturday implementing one and make a PR to PCManFM.
> >
> >Many thanks.  
> 
> Take a look at Rodent and SpaceFM. I guess both don't provide it by
> default, but both are easy to customize. If I use a file manager,
> than I'm using SpaceFM with several tools I added by shell scripts.
> However, Rodent does really use shell for those operations, so it
> should be easy to redirecting stdout an stderr to a history file.
> 
>