Hola.
La mejor opción es Ajustes > Aplicaciones > Descarga > pinchas el el Launcher o Shell que tienes por defecto > Borrar valores predeterminados.
Luego si pinchas el botón central físico del terminal, te aparecen todos los Launcher instalados y ya puedes elegir otra vez.
Saludos