Published on25 de octubre de 2023Boosting Linux shell productivity: my hacks, tools and tipslinuxubuntu