Martin Wilck
bbc5f546d0
* renumber patch: 0103-convenience.js-has-been-removed-in-GNOME-extensions-.patch * renumber patch: 0104-Makefile-allow-shipping-convenience.js.patch (was 0005) * renumber patch: 0105-metadata.json-mark-GNOME-3.30-as-supported.patch (was 0004) * remove patch: 0006-Makefile-don-t-zip.patch * add patch: 0106-Fix-installation-instructions-matches-Ubuntu-18.04-T.patch OBS-URL: https://build.opensuse.org/package/show/Office/hamster-time-tracker?expand=0&rev=12
48 lines
1.8 KiB
Diff
48 lines
1.8 KiB
Diff
From e3b2a7b4008dc8ec21cfd0e4f555b96aebfcbc69 Mon Sep 17 00:00:00 2001
|
|
From: Martin Wilck <mwilck@suse.com>
|
|
Date: Thu, 12 Mar 2020 00:30:19 +0100
|
|
Subject: [PATCH 130/130] README.rst: Add a section about UUID changing
|
|
|
|
The auto-blacklisting issue has been figured out by now
|
|
(https://github.com/projecthamster/hamster-shell-extension/issues/324),
|
|
It was caused by our non-integer "version" tag in metadata.json,
|
|
plus the fact that two version of the "contact@projecthamster.org"
|
|
extension had been uploaded to extensions.gnome.org, but were never
|
|
approved by a reviewer, plus the "extension auto-upgrade" feature
|
|
of GNOME shell 3.36.
|
|
|
|
Nevertheless, being able to change the UUID may be useful in the
|
|
future.
|
|
---
|
|
README.rst | 17 +++++++++++++++++
|
|
1 file changed, 17 insertions(+)
|
|
|
|
diff --git a/README.rst b/README.rst
|
|
index a8b35c2..599f15d 100644
|
|
--- a/README.rst
|
|
+++ b/README.rst
|
|
@@ -82,3 +82,20 @@ Afterwards, enable the extension and change the preferences using Tweak Tool,
|
|
or on ``https://extensions.gnome.org/local/``. On GNOME 3.36 and later, you
|
|
can also use the GNOME "Extensions" tool.
|
|
|
|
+Changing the extension UUID
|
|
+~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
+
|
|
+It's possible to change the "UUID" of the extension from
|
|
+``contact@projecthamster.org`` to a name of your choice. If you do this,
|
|
+you have to obey the `UUID Guidelines
|
|
+<https://wiki.gnome.org/Projects/GnomeShell/Extensions/UUIDGuidelines>`.
|
|
+This may become necessary in some cases if there are problems with the
|
|
+official UUID on `https://extensions.gnome.org`.
|
|
+
|
|
+To change the UUID, pass it to ``make dist`` in the instructions above::
|
|
+
|
|
+ # Build
|
|
+ make dist UUID="my_uuid@my.domain"
|
|
+
|
|
+The rest of the build procedure is like above, except that you have to replace
|
|
+``contact@projecthamster.org`` by your new UUID everywhere.
|
|
--
|
|
2.26.1
|
|
|