** Changed in: gnome-shell (Ubuntu)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1943857
Title:
use downstream pop!_os patch for
Yes commit 3f3080056b2 is in version 42~beta-1ubuntu1
** Changed in: gnome-shell (Ubuntu)
Status: Triaged => Fix Committed
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
hi,
could you please close this issue-bug as it was merged to ubuntu-master
branch: https://salsa.debian.org/gnome-team/gnome-
shell/-/blob/ubuntu/master/debian/patches/ubuntu/main-Support-loading-
multiple-Yaru-theme-variants.patch by Marco.
Thank you for everyone involved with this!
--
You
I created the MR here:
https://salsa.debian.org/gnome-team/gnome-shell/-/merge_requests/56
Please have a look at it
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1943857
Title:
I think so yes, the user-name is identical to his Github user-name
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1943857
Title:
use downstream pop!_os patch for global theme
Isn't this his Salsa account?
https://salsa.debian.org/jackpot51
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1943857
Title:
use downstream pop!_os patch for global theme
Hi just an update to the patch situation, Jeremy Soller of Pop!_OS was
not able to get his salsa.debian.org account approved so instead I'll be
proposing merge-request. Also removed the impish tag
** Tags removed: impish
--
You received this bug notification because you are a member of Desktop
Hi @seb128 and @vanvugt,
> I don't have the power to make it happen but would recommend as a first step
> you should create a formal merge request to the ubuntu/master branch here:
https://salsa.debian.org/gnome-team/gnome-shell/-/tree/ubuntu/master
I've asked the Pop!_OS maintainers of
The description of the change and why it's needed is not really clear
there, you are going to need to provide more details if you want to see
the changes considered, also please use a merge request as pointed out
by Daniel
--
You received this bug notification because you are a member of Desktop
I don't have the power to make it happen but would recommend as a first
step you should create a formal merge request to the ubuntu/master
branch here:
https://salsa.debian.org/gnome-team/gnome-shell/-/tree/ubuntu/master
--
You received this bug notification because you are a member of Desktop
Hi @vanvugt, could this be expected to land in ubuntu-21.10 ?
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1943857
Title:
use downstream pop!_os patch for global theme
** Changed in: gnome-shell (Ubuntu)
Status: Incomplete => Triaged
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1943857
Title:
use downstream pop!_os patch for global
Hi Daniel van Vugt,
Sorry for not sharing the complete-patch file, I generated the above
patch on top of gnome-shell-40.2 package. please have a look at it.
Note: For this to work Yaru needs to be modified/patched (i.e. PR:
https://github.com/ubuntu/yaru/pull/2945)
** Patch added:
Thanks for the enhancement request. It appears you're recommending
changing multiple files but the patch in comment #1 only changes one
file. Can you clarify the full set of patches required?
** Changed in: gnome-shell (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: gnome-shell
** Description changed:
Pop!_OS manages to switch the Gnome-shell and GTK theme since 20.04
without the use of user-theme gnome-shell-extension by patching Gnome-
shell.
The following files should be patched:
- - /js/ui/main.js
- - /debian/ubuntu-session-mods/ubuntu.json
+
+ -
The attachment "pop-dark-theme.patch" seems to be a patch. If it isn't,
please remove the "patch" flag from the attachment, remove the "patch"
tag, and if you are a member of the ~ubuntu-reviewers, unsubscribe the
team.
[This is an automated message performed by a Launchpad user owned by
** Patch added: "pop-dark-theme.patch"
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1943857/+attachment/5525733/+files/pop-dark-theme.patch
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
17 matches
Mail list logo