Благодарю за ссылку. Второй вариант должен сработать. Этот сайт я читаю регулярно и с интересом. На втором компьютере у меня уже несколько лет установлена Ubuntu. Работаю на ней с огромным удовольствием. Сейчас обновился до 18.04 - восторг! В 17.10 использовал рабочее окружение Cinnamon, но почему-то в 18.04 не удалось его поставить. Буду благодарен за совет, как это сделать.