Skip to content

Commit 764ed7d

Browse files
authored
Use preinstalled CLI tool instead of optional GUI; reboot first
1 parent 0965be1 commit 764ed7d

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

content/pop-shell.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,11 @@ make local-install
5555
sudo dnf install gnome-shell-extension-pop-shell
5656
```
5757

58-
After installing, open the Extensions app and enable the toggle for `Pop Shell`.
58+
After installing, log out and back in (or reboot), then run the following command to enable the extension:
59+
60+
```bash
61+
gnome-extensions enable pop-shell@system76.com
62+
```
5963

6064
#### For Arch
6165

0 commit comments

Comments
 (0)