Я был поклонником смены разнообразия Variety, однако установка его на 18.04 LTS вызывала проблемы. Когда Variety планируется запустить при запуске, время от времени он замораживает логин ...