Olha só, não querendo jogar aguá no Chopp, mas achei vários resistros de falta de desempenho com HD Graphics 5000 + Gnome. Fica lento mesmo. Dá pau no VLC. Instalei aqui o 18.10 numa máquina virtual e o Gnome-shell consome horrores de recursos e fica lento quando usa muito a parte gráfica. O que se pode fazer para melhorar é remover efeitos e alguns recursos do Gnome pra tentar ficar mais esperto, mas só. Não espere muita mudança, mas melhorou um pouco aqui.
Primeiro instale os pacotes dconf-editor e gnome-tweaks, gnome-tweak-tool.
Depois siga este tutorial: https://www.makeuseof.com/tag/speed-up-gnome-desktop/
Desligue os efeitos do Gnome e a indexação do sistema. Use o Gnome-tweak pra isso. Dentro do Gnome Tweak vá até Espaços de trabalho.
Mude de espaço de trabalho dinâmico para Estático e deixe apenas 1 área de trabalho.
Dentro de Configurações do Gnome, vá até Dispositivos > Mouse & Touchpad e aumente a velocidade do Mouse.
Eu aqui instalei o PPA Oibaf, para ter os Drivers de Vídeo mais novos (do Xorg e Mesa), ele atualizou o Mesa, não diminui o consumo de recursos, mas achei que ficou um pouquinho mais esperto.
Já tem vídeo no Youtube mostrando o desempenho horrível do 18.10 com Gnome em Laptop: https://www.youtube.com/watch?v=PCxMAuorE1Q
Tenta essas mudanças e veja se melhora. Senão tenta KDE/XFCE/Mate/LXQT . Qualquer coisa, menos Gnome!
galactus,
Muito obrigado pelas dicas, vou utiliza-las e ver no que dá. Caso não melhore, voltarei para o 18.04 ou tentarei o KDE/outros.
Valeu!