File 0106-Fix-installation-instructions-matches-Ubuntu-18.04-T.patch of Package hamster-time-tracker
From d59f3f3694c1c7b63c771e22ac04e5d7d87e9552 Mon Sep 17 00:00:00 2001
From: Benjamin Bach <benjamin@overtag.dk>
Date: Tue, 7 May 2019 19:35:00 +0200
Subject: [PATCH 106/130] Fix installation instructions (matches Ubuntu 18.04
Tweak tool)
---
Makefile | 2 +-
README.rst | 19 ++++++++++++-------
2 files changed, 13 insertions(+), 8 deletions(-)
diff --git a/Makefile b/Makefile
index 8892a93..5e43e2a 100644
--- a/Makefile
+++ b/Makefile
@@ -80,7 +80,7 @@ dist: compile
# And for the extension to work extension.js etc. need to be at the root.
mkdir -p $(DISTDIR);
cd $(BUILDDIR); zip -rq ../dist/contact@projecthamster.org.zip ./*
- cd $(BUILDDIR); tar -czf ../dist/contact@projecthamster.org.tgz *
+ cd $(BUILDDIR); tar -czf ../dist/contact@projecthamster.org.tar.gz *
@ls -l dist
docs:
diff --git a/README.rst b/README.rst
index b12e26e..d51dc00 100644
--- a/README.rst
+++ b/README.rst
@@ -65,12 +65,17 @@ Build a fresh distribution package::
make dist
-This will create a distributable archive.
-You can now use the ``tweaktool`` (at the bottom of the ``extensions`` tab)
-to install and activate the new ``zip`` file located in the ``dist`` directory.
+This will create a distributable archive located in the ``dist/`` folder.
-Alternatively you just can unpack the tar archive to ``~/.local/share/gnome-shell/extensions/``.
-As a result, a directory named ``contact@projecthamster.org`` should be there now.
+Installing directly from file::
-After that you can enable the extension and change the preferences using Tweak
-Tool, or on ``https://extensions.gnome.org/local/``
+ # Build
+ make dist
+ # Remove any old installation
+ rm -rf ~/.local/share/gnome-shell/extensions/contact@projecthamster.org
+ # Create directory
+ mkdir -p ~/.local/share/gnome-shell/extensions/contact@projecthamster.org
+ # Unpack build
+ tar xfz dist/contact@projecthamster.org.tar.gz -C ~/.local/share/gnome-shell/extensions/contact@projecthamster.org
+
+Afterwards, enable the extension and change the preferences using Tweak Tool, or on ``https://extensions.gnome.org/local/``
--
2.26.1
