Skip to content

Commit 209046d

Browse files
authored
Light editing gnome extensions (#2142)
* light editing `gnome-extensions.md` * change quote to block quote * fix "no raw URL's" issue * fix some passive voice issues * Sentence style capitalization throughout * missed one passive voice statement not in block quotes
1 parent 4a0011a commit 209046d

File tree

1 file changed

+16
-18
lines changed

1 file changed

+16
-18
lines changed
Lines changed: 16 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
---
22
title: GNOME Shell Extensions
33
author: Joseph Brinkman
4+
contributors: Steven Spencer
45
tested with: 9.4
56
tags:
67
- desktop
@@ -11,11 +12,9 @@ tags:
1112

1213
From the [GNOME website](https://extensions.gnome.org/about/){:target="_blank"}:
1314

14-
"GNOME Shell provides core user interface functions for GNOME, like switching to windows and launching applications. User interface elements provided by GNOME Shell include the Panel at the top of the screen, the Activities Overview, and Message Tray at the bottom of the screen."
15-
16-
GNOME Shell extensions are small pieces of code written by third party developers that modify the way GNOME works. (If you are familiar with Chrome Extensions or Firefox Addons, GNOME Shell extensions are similar to them.) You can find and install GNOME Shell extensions using this website.
17-
18-
Since extensions are created outside of the normal GNOME design and development process, they are supported by their authors, rather than by the GNOME community. Some features first implemented as extensions might find their way into future versions of GNOME."
15+
>GNOME Shell provides core user interface functions for GNOME, like switching to windows and launching applications. User interface elements provided by GNOME Shell include the Panel at the top of the screen, the Activities Overview, and Message Tray at the bottom of the screen."
16+
>GNOME Shell extensions are small pieces of code written by third party developers that modify the way GNOME works. (If you are familiar with Chrome Extensions or Firefox Addons, GNOME Shell extensions are similar to them.) You can find and install GNOME Shell extensions using this website.
17+
>Creation of extensions are created outside of the normal GNOME design and development process, they are supported by their authors, rather than by the GNOME community. Some features first implemented as extensions might find their way into future versions of GNOME.
1918
2019
## Assumptions
2120

@@ -26,51 +25,50 @@ Since extensions are created outside of the normal GNOME design and development
2625
GNOME Extensions is available from the "appstream" repository, requiring no additional repository configuration. Install with:
2726

2827
```bash
29-
sudo dnf install gnome-extensions
28+
sudo dnf install gnome-extensions
3029
```
3130

3231
Installation includes all needed dependencies.
3332

34-
## Install Browser Integration
33+
## Install browser integration
3534

36-
Gnome Extensions has a software library available through their website gnome.extensions.org where you can install extensions right off their website. To achieve this a connection needs to be facilitated between your browser and gnome-extensions.
35+
Gnome Extensions has a software library available through their website gnome.extensions.org where you can install extensions right off their website. To achieve this, your browser and gnome-extensions needs to facilitate a connection.
3736

3837
```bash
3938
sudo dnf install chrome-gnome-shell
4039
```
4140

4241
[installation guide](https://gnome.pages.gitlab.gnome.org/gnome-browser-integration/pages/installation-guide.html){target="_blank"}
4342

44-
## Determining Gnome Shell Version
43+
## Determining GNOME shell version
4544

46-
The browser extension used to faciliate extensions installations from extensions.gnome.org should automatically detect the version of GNOME shell your system is currently running.
45+
The browser extension used to facilitate extensions installations from extensions.gnome.org should automatically detect the version of GNOME shell your system is currently running.
4746

4847
If you wish to perform a local install you will need to download the extension with the correct GNOME shell version.
4948

5049
```bash
5150
gnome-shell --version
5251
```
5352

54-
## Installing an Extension
53+
## Installing an extension
5554

56-
For this example we will install the popular dash to dock extension.
55+
For this example we will install the popular dash to dock extension.
5756

5857
1. Go to [dash to dock extension webpage](https://extensions.gnome.org/extension/307/dash-to-dock/){target="_blank"}
5958
2. Toggle extension from "off" to "on"
6059
![Toggle extension](images/gnome_extensions_images/gnome-shell-extensions-toggle-btn.webp)
6160
3. When prompted to install the extension, click "yes"
6261

63-
## Managing Installed Extensions
62+
## Managing installed extensions
6463

65-
GNOME extensions can not only be installed on gnome.extensions.org but also managed.
64+
GNOME extensions are installed and managed on gnome.extensions.org.
6665

67-
To manage your GNOME extensions, first go to https://extensions.gnome.org/local/
66+
To manage your GNOME extensions, first go to <https://extensions.gnome.org/local/>
6867

6968
![Manage GNOME extensions](images/gnome_extensions_images/gnome-shell-installed-extensions.webp)
7069

71-
On this page you will find a list of installed extensions. You can toggle each of these on or off. You can also configure the shell settings by using the toggle button on either of the two available menu options "Disable all extensions" "Disable version validation".
72-
70+
On this page you will find a list of installed extensions. You can toggle each of these on or off. You can also configure the shell settings by using the toggle button on either of the two available menu options "Disable all extensions" "Disable version validation".
7371

7472
## Conclusion
7573

76-
GNOME Extensions is a good tool for adding additional functionality and customizing your GNOME desktop environment.
74+
GNOME Extensions is a good tool for adding additional functionality and customizing your GNOME desktop environment.

0 commit comments

Comments
 (0)