From 9f50b8897a74935c36a71937ee5a3e69d139fd7c Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Mon, 18 Mar 2019 15:00:36 +0100 Subject: [PATCH] Update Arora default bookmarks Fixes #3198 --- repos/ports/ports/arora.hash | 2 +- .../app/arora/patches/arora_bookmarks.patch | 31 ++++++------------- 2 files changed, 11 insertions(+), 22 deletions(-) diff --git a/repos/ports/ports/arora.hash b/repos/ports/ports/arora.hash index a18cb4377..5891a6621 100644 --- a/repos/ports/ports/arora.hash +++ b/repos/ports/ports/arora.hash @@ -1 +1 @@ -e581232f0aa86144f56b9fce76dd9a278d767258 +e8f003dcdad6f1600c73a046f4306942a557f9bb diff --git a/repos/ports/src/app/arora/patches/arora_bookmarks.patch b/repos/ports/src/app/arora/patches/arora_bookmarks.patch index 4c6f2aa1c..2849696cb 100644 --- a/repos/ports/src/app/arora/patches/arora_bookmarks.patch +++ b/repos/ports/src/app/arora/patches/arora_bookmarks.patch @@ -4,35 +4,24 @@ From: Christian Prochaska --- - src/data/defaultbookmarks.xbel | 19 +++++++++++++++++++ - 1 file changed, 19 insertions(+) + src/data/defaultbookmarks.xbel | 8 ++++++++ + 1 file changed, 8 insertions(+) diff --git a/src/data/defaultbookmarks.xbel b/src/data/defaultbookmarks.xbel -index 5869929..e31aa17 100644 +index 5869929..3bde5f1 100644 --- a/src/data/defaultbookmarks.xbel +++ b/src/data/defaultbookmarks.xbel -@@ -1,6 +1,25 @@ +@@ -1,6 +1,14 @@ + -+ Linux Kernel -+ L4/Fiasco Kernel -+ Codezero Kernel -+ NOVA Hypervisor -+ L4ka::Pistachio Kernel -+ OKL4 Kernel -+ -+ -+ -+ Phoronix -+ Golem -+ OS-News -+ -+ -+ -+ Genode Labs Company Website -+ Genode.org Project Website ++ Genode Labs Company Website ++ Genode on Reddit ++ Genode Mailing List ++ Genode GitHub Repository ++ Genode.org Project Website ++ Genodians.org - Stories around the Genode Operating System + Bookmarks Bar