Extensões gnome do pop no ubuntu

Assisti o video sobre o pop-os e achei legal a extensão pop shell mas não esta no site da gnome extenções, como faço para colocar ele no ubuntu

Creio que a única forma por enquanto é compilando as extensões diretamente do código-fonte, que podem ser baixados em:

2 curtidas

Este tópico foi fechado automaticamente 3 dias depois da última resposta. Novas respostas não são mais permitidas.