diff options
author | Felipe Borges <felipeborges@gnome.org> | 2023-01-06 11:11:36 +0100 |
---|---|---|
committer | Petr Kovář <pknbe@volny.cz> | 2023-02-04 14:46:57 +0000 |
commit | c9584f9c487d471361d4cae6eee2531c93d85554 (patch) | |
tree | 9ae0668882f31f4d584d455651fe4a0b0180d2fe | |
parent | fe85ae1c572ae8eef4cff69df896a152229f44b5 (diff) | |
download | gnome-user-docs-c9584f9c487d471361d4cae6eee2531c93d85554.tar.gz |
sharing: Replace "Computer Name" with "Device Name"
Ever since commit
https://gitlab.gnome.org/GNOME/gnome-control-center/-/commit/e27d13183e8d557eb0ce2cf077bbe5f1c4988b95
we are referring to the hostname as "Device Name" on our UIs.
-rw-r--r-- | gnome-help/C/sharing-desktop.page | 2 | ||||
-rw-r--r-- | gnome-help/C/sharing-displayname.page | 2 | ||||
-rw-r--r-- | gnome-help/C/sharing-media.page | 2 | ||||
-rw-r--r-- | gnome-help/C/sharing-personal.page | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/gnome-help/C/sharing-desktop.page b/gnome-help/C/sharing-desktop.page index c3ef1b3e..025e9c1c 100644 --- a/gnome-help/C/sharing-desktop.page +++ b/gnome-help/C/sharing-desktop.page @@ -73,7 +73,7 @@ <p>If the <gui>Sharing</gui> switch in the top-right of the window is set to off, click to switch it on.</p> - <note style="info"><p>If the text below <gui>Computer Name</gui> allows + <note style="info"><p>If the text below <gui>Device Name</gui> allows you to edit it, you can <link xref="sharing-displayname">change</link> the name your computer displays on the network.</p></note> </item> diff --git a/gnome-help/C/sharing-displayname.page b/gnome-help/C/sharing-displayname.page index b308cee3..8399ff92 100644 --- a/gnome-help/C/sharing-displayname.page +++ b/gnome-help/C/sharing-displayname.page @@ -36,7 +36,7 @@ <p>Click on <gui>Sharing</gui> to open the panel.</p> </item> <item> - <p>Edit the text below <gui>Computer Name</gui> to change the name your + <p>Edit the text below <gui>Device Name</gui> to change the name your computer displays on the network.</p> </item> </steps> diff --git a/gnome-help/C/sharing-media.page b/gnome-help/C/sharing-media.page index 0f7c42eb..053ec9ec 100644 --- a/gnome-help/C/sharing-media.page +++ b/gnome-help/C/sharing-media.page @@ -63,7 +63,7 @@ <p>If the <gui>Sharing</gui> switch in the top-right of the window is set to off, switch it to on.</p> - <note style="info"><p>If the text below <gui>Computer Name</gui> allows + <note style="info"><p>If the text below <gui>Device Name</gui> allows you to edit it, you can <link xref="sharing-displayname">change</link> the name your computer displays on the network.</p></note> </item> diff --git a/gnome-help/C/sharing-personal.page b/gnome-help/C/sharing-personal.page index 394034ca..21a895e0 100644 --- a/gnome-help/C/sharing-personal.page +++ b/gnome-help/C/sharing-personal.page @@ -72,7 +72,7 @@ <p>If the <gui>Sharing</gui> switch in the top-right of the window is set to off, switch it to on.</p> - <note style="info"><p>If the text below <gui>Computer Name</gui> allows + <note style="info"><p>If the text below <gui>Device Name</gui> allows you to edit it, you can <link xref="sharing-displayname">change</link> the name your computer displays on the network.</p></note> </item> |