Probably also due to the GUADEC...
when calling cat <(echo data from the stdin stream) from_file.txt, you get the data in the first argument from a stream.
With the .bash_logout I do not have much experience yet.
Depending how deep you want to dive into Linux, there is a great ebooks collection available:
https://www.humblebundle.com/books/linux-for-seasoned-admins-oreilly-books
You mean sth like cat <(history | cut -c 8-) history.txt | sort | uniq > history.txt? Not sure if it possible to remove the file names.
It should probably work to put it in .bash_logout.
What would you expect and why?
Very cool. Thank you. I really love such compressed sheets. Also this time I learned something.
I didn't see the previous one and now I hesitate to delete this one with the existing comments.
I added a description.
Thanks. Fixed
That's very cool!