<div dir="ltr"><div>Not sure who could benefit from this, but here&#39;s a site with some useful shell tricks:</div><div><br></div><div><a href="https://blog.hofstede.it/shell-tricks-that-actually-make-life-easier-and-save-your-sanity/">https://blog.hofstede.it/shell-tricks-that-actually-make-life-easier-and-save-your-sanity/</a></div><div><br></div><div><br></div></div>