On 11/20/2018 10:03 AM, Dario Lesca wrote:
Ok, thank, this can be a possible solution
but it will be difficult to avoid the habit of writing only "reboot" ...
to lose last history is very annoyng
Try adding this line to ~/.bashrc:
alias reboot='exec reboot'