summaryrefslogtreecommitdiff
path: root/en
diff options
context:
space:
mode:
authorHolger Wansing <hwansing@mailbox.org>2021-09-15 20:31:23 +0200
committerHolger Wansing <hwansing@mailbox.org>2021-09-15 20:31:23 +0200
commit84469115b4dae6bfc75153bee8880227d1a69310 (patch)
treec46c9c1931464334f9b41d91075c8946a1b1e8c0 /en
parent885546401f2491b210f0ac70656c0807e43fa356 (diff)
downloadinstallation-guide-84469115b4dae6bfc75153bee8880227d1a69310.zip
Some more changings in the light of Linux <-> GNU/Linux issue
Diffstat (limited to 'en')
-rw-r--r--en/welcome/what-is-linux.xml6
1 files changed, 3 insertions, 3 deletions
diff --git a/en/welcome/what-is-linux.xml b/en/welcome/what-is-linux.xml
index 14555bffe..63410bf6b 100644
--- a/en/welcome/what-is-linux.xml
+++ b/en/welcome/what-is-linux.xml
@@ -76,7 +76,7 @@ list can be found on the
</para><para>
GNU/Linux users have immense freedom of choice in their software. For
-example, Linux users can choose from a dozen different command line
+example, they can choose from a dozen different command line
shells and several graphical desktops. This selection is often
bewildering to users of other operating systems, who are not used to
thinking of the command line or desktop as something that they can
@@ -86,8 +86,8 @@ change.
GNU/Linux is also less likely to crash, better able to run more than one
program at the same time, and more secure than many operating
-systems. With these advantages, GNU/Linux is the fastest growing operating
-system in the server market. More recently, GNU/Linux has begun to be
+systems. With these advantages, Linux is the fastest growing operating
+system in the server market. More recently, Linux has begun to be
popular among home and business users as well.
</para>