diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/progress-linux/0001-keyword-bookmarks.patch | 42 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 43 insertions, 0 deletions
diff --git a/debian/patches/progress-linux/0001-keyword-bookmarks.patch b/debian/patches/progress-linux/0001-keyword-bookmarks.patch new file mode 100644 index 0000000000..2572ed052b --- /dev/null +++ b/debian/patches/progress-linux/0001-keyword-bookmarks.patch @@ -0,0 +1,42 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Adding keyword bookmarks. + +diff -Naurp firefox-esr.orig/browser/base/content/default-bookmarks.html firefox-esr/browser/base/content/default-bookmarks.html +--- firefox-esr.orig/browser/base/content/default-bookmarks.html ++++ firefox-esr/browser/base/content/default-bookmarks.html +@@ -54,6 +54,35 @@ + <dt><a href="https://planet.mozilla.org/" icon="@mozilla_icon@" data-l10n-id="default-bookmarks-planet">default-bookmarks-planet</a></dt> + </dl><p> + #endif ++<dl> ++ <dt><h3>Keywords</h3></dt> ++ <dd>Keyword Bookmarks</dd> ++ ++ <dl> ++ <dt><a href="https://www.google.com/search?q=%s" shortcuturl="g">Google Search</a></dt> ++ <dt><a href="https://en.wikipedia.org/wiki/%s" shortcuturl="w">Wikipedia</a></dt> ++ ++ <hr> ++ ++ <dt><a href="https://bugs.debian.org/%s" shortcuturl="bts">Debian Bug Tracking System</a></dt> ++ <dt><a href="https://tracker.debian.org/pkg/%s" shortcuturl="pts">Debian Package Tracking System</a></dt> ++ ++ <dt><a href="https://lists.debian.org/debian-%s/recent" shortcuturl="lists">Debian Mailing Lists</a></dt> ++ <dt><a href="https://manpages.debian.org/sid/%s" shortcuturl="manpages">Debian Manpages</a></dt> ++ <dt><a href="https://security-tracker.debian.org/tracker/source-package/%s" shortcuturl="security">Debian Security Bug Tracker</a></dt> ++ <dt><a href="https://snapshot.debian.org/package/%s/" shortcuturl="snapshot">Debian Snapshot Archive</a></dt> ++ <dt><a href="https://sources.debian.org/src/%s" shortcuturl="sources">Debian Sources</a></dt> ++ ++ <dt><a href="https://packages.debian.org/search?keywords=%s" shortcuturl="packages">Debian Package Search: Package Names</a></dt> ++ <dt><a href="https://packages.debian.org/search?keywords=%s&searchon=contents&suite=unstable" shortcuturl="file">Debian Package Search: Filenames</a></dt> ++ <dt><a href="https://packages.debian.org/sid/amd64/%s/filelist" shortcuturl="contents">Debian Package Search: Package Contents</a></dt> ++ ++ <dt><a href="https://qa.debian.org/developer.php?login=%s" shortcuturl="ddpo">Debian QA: Developer's Packages Overview</a></dt> ++ <dt><a href="https://qa.debian.org/madison.php?package=%s" shortcuturl="ls">Debian QA: dak ls aka madison</a></dt> ++ ++ <dt><a href="https://ftp-master.debian.org/dinstall.html" shortcuturl="dinstall">Debian ftp-master: dinstall</a></dt> ++ <dt><a href="https://ftp-master.debian.org/new.html" shortcuturl="new">Debian ftp-master: NEW</a></dt> ++ </dl> + </dl> + </body> + </html> diff --git a/debian/patches/series b/debian/patches/series index fff9983a51..779d3b562e 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -24,3 +24,4 @@ debian-hacks/Remove-workaround-for-old-libstdc-problem-which-now-.patch debian-hacks/Add-missing-webrtc-directory-for-ppc64el-bz-1775202.patch debian-hacks/Relax-nodejs-minimum-version.patch debian-hacks/Relax-minimum-supporter-rust-version-to-1.63.patch +progress-linux/0001-keyword-bookmarks.patch |