[Risolto] Pop shell

[Smoke99]

Ciao a tutti,
Mi stó avvicinando al mondo linux da poco tempo quindi sono un novizio totale.
Volevo provare ad installare Pop Shell come windows tile manager per provare una gestione diversa delle finestre. Ho seguito una delle tante guide online per l'installazione ma non riesco a concluderla.
I passaggi seguiti sono:
sudo apt install node-typescript make git
git clone https://github.com/pop-os/shell
cd shell
./rebuild.sh

Quando dó l'ultimo comando che dovrebbe far partire lo script di installazione (o almeno ho capito cosí) ottengo l'errore: bash: ./rebuild.sh: File o directory non esistente

Cosa devo fare?
Grazie per l'aiuto

[UbuNuovo]

Dalle istruzioni su https://github.com/pop-os/shell sembra che vada compilata con:

Codice: Seleziona tutto

cd shell
make local-install

Io non posso provarla.

[Smoke99]

Grazie, era proprio questo il problema

[giulux]

Se non hai più problemi modifica il titolo del primo post mettendoci davanti [Risolto].

Se vuoi puoi installare questo script che aggiunge un pulsante per mettere [Risolto] con un solo click, che ti sarà utile in futuro.
Ciao.