After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 782198 - Missing keyboard-key-*.svg icons
Missing keyboard-key-*.svg icons
Status: RESOLVED FIXED
Product: gnome-user-docs
Classification: Core
Component: gnome-help
3.24.x
Other Linux
: Normal normal
: ---
Assigned To: Maintainers of Gnome user documentation
Maintainers of Gnome user documentation
Depends on:
Blocks:
 
 
Reported: 2017-05-05 03:41 UTC by Gunnar Hjalmarsson
Modified: 2017-05-08 13:00 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
Install missing icons (1.16 KB, patch)
2017-05-05 17:39 UTC, Gunnar Hjalmarsson
none Details | Review
Install missing icons (1.36 KB, patch)
2017-05-05 18:09 UTC, Gunnar Hjalmarsson
none Details | Review
Install missing icons (1.36 KB, patch)
2017-05-05 19:30 UTC, Gunnar Hjalmarsson
committed Details | Review

Description Gunnar Hjalmarsson 2017-05-05 03:41:08 UTC
This page:

https://help.gnome.org/users/gnome-help/stable/keyboard-shortcuts-set.html

links to a bunch of keyboard-key-*.svg icons which don't exist. The problem seems to be that the icon files are missing in gnome-help/Makefile.am.
Comment 1 Jeremy Bicha 2017-05-05 10:07:07 UTC
Gunnar, I think this is a good opportunity for you to learn how to submit a git patch for gnome-user-docs. Does that sound like a good idea to you too?
Comment 2 Gunnar Hjalmarsson 2017-05-05 17:39:58 UTC
Created attachment 351226 [details] [review]
Install missing icons

Sure, why not?

I know how to make a diff (attached), but I'm not sure about the proper format for submitting a patch. Please advise.
Comment 3 Jeremy Bicha 2017-05-05 17:44:59 UTC
Could you..
1, Commit your changes to your local git tree. In your commit message, mention https://bugzilla.gnome.org/show_bug.cgi?id=782198
2. Run git-format-patch HEAD~ to make a patch that includes your commit message and authorship information
Comment 4 Gunnar Hjalmarsson 2017-05-05 18:09:28 UTC
Created attachment 351227 [details] [review]
Install missing icons

Ok, done.

The exact command I run was:

git format-patch HEAD~
Comment 5 André Klapper 2017-05-05 18:11:52 UTC
That patch is still missing authorship information. Please see https://wiki.gnome.org/Git/Developers#Contributing_patches - thanks a lot!
Comment 6 Gunnar Hjalmarsson 2017-05-05 18:24:32 UTC
@André: I don't follow you. The top of the patch now looks like this:

From 2aa06bd74e27bf7811c4f6ce87e4cf044ac5a269 Mon Sep 17 00:00:00 2001
From: Gunnar Hjalmarsson <gunnarhj@ubuntu.com>
Date: Fri, 5 May 2017 20:01:38 +0200
Subject: [PATCH] Install missing icons -
 https://bugzilla.gnome.org/show_bug.cgi?id=782198

---
 gnome-help/Makefile.am | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

And I'm there. :) You aren't suggesting that I add myself to the AUTHORS file, are you?
Comment 7 Jeremy Bicha 2017-05-05 18:58:03 UTC
Great job so far!

Yes, I think André was mistaken.

Please add an empty line after "missing icons" before the GNOME bug in your commit message.

Next, could you ask on the gnome-doc-list for review of this patch? Introduce yourself if you haven't already.
Comment 8 André Klapper 2017-05-05 19:24:45 UTC
> Yes, I think André was mistaken.

Uhm, indeed. I am sorry! Yes https://bugzilla.gnome.org/attachment.cgi?id=351227&action=edit does display author info. I was looking at https://bug782198.bugzilla-attachments.gnome.org/attachment.cgi?id=351227&action=diff&collapsed=&context=patch&format=raw&headers=1 instead, which does not. Sigh... Bugzilla. :(
Comment 9 Gunnar Hjalmarsson 2017-05-05 19:30:58 UTC
Created attachment 351229 [details] [review]
Install missing icons

Ok, thanks for confirming, André.

Anyway, I succeeded in tweaking the commit message as Jeremy suggested, and submitted a third patch.

Thanks for the lesson!
Comment 10 Michael Hill 2017-05-08 12:35:22 UTC
Looks good, Gunnar. Thanks!
Comment 11 Michael Hill 2017-05-08 12:38:45 UTC
Review of attachment 351229 [details] [review]:

Looks good.
Comment 12 Michael Hill 2017-05-08 13:00:31 UTC
Attachment 351229 [details] pushed as 3198702 - Install missing icons

https://bugzilla.gnome.org/show_bug.cgi?id=782198