That’s very cool!

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?

https://techspected.com/onlyoffice-vs-libreoffice

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.