Am Samstag, 8. September 2018, 15:05:29 CEST schrieb Jude DaShiell: Also usefull:
history -l | grep what-you-remember if you can just remeber a part of the command you used. Have fun! Best Hans > If using bash, try using the up-arrow and you should be shown your > command history. If your history is large enough, you'll find the > command you used to rename the file. > On Fri, 7 Sep 2018, Richard Owlett >
