Il giorno mar, 20/11/2018 alle 18.37 +0100, Dario Lesca ha scritto:
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

I have fill a bug

https://bugzilla.redhat.com/show_bug.cgi?id=1652312

Thank

-- 
Dario Lesca
(inviato dal mio Linux Fedora 28 Workstation)