Il giorno mar, 20/11/2018 alle 10.11 -0700, Joe Zeff ha scritto:
Try adding this line to ~/.bashrc:
alias reboot='exec reboot'
Yes, thanks, also this can be a workaround.
But i can think also for other people, if in case this annoying problem
also affects other people.
Then, if this is the only solution, it's bette I fill a bug in order
to put this new alias into /etc/profile* or something similar
Or there is another better solution?
it could probably be useful to invest on why it happens.
If you let me know what I can verify I do
Thanks
--
Dario Lesca
(inviato dal mio Linux Fedora 28 Workstation)