Вежливые команды в Bash. Эрик Мейер делится bash-функцией, экономящей время и нервы — https://meyerweb.com/eric/thoughts/2020/09/29/polite-bash-commands/