summaryrefslogtreecommitdiff
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
parent885546401f2491b210f0ac70656c0807e43fa356 (diff)
downloadinstallation-guide-84469115b4dae6bfc75153bee8880227d1a69310.zip
Some more changings in the light of Linux <-> GNU/Linux issue
-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>