erappleman | jbicha, your new ppa is great. one issue though. the new gnome-shell broke showing the date and AM/PM in the top bar. file a bug upstream? | 02:21 |
---|---|---|
=== tkamppeter_ is now known as tkamppeter | ||
=== Ursinha is now known as Ursinha-afk | ||
=== Ursinha-afk is now known as Ursinha | ||
=== Ursinha is now known as Ursinha-afk | ||
mitya57 | Hi, does anybody know why gnome-terminal theming is commented out in ubuntu-themes? | 14:29 |
mitya57 | https://bazaar.launchpad.net/~ubuntu-art-pkg/ubuntu-themes/trunk/view/head:/Ambiance/gtk-3.0/apps/gnome-terminal.css | 14:29 |
* mitya57 is running uncommented version for a month now with no issues | 14:30 | |
=== Quintasan_ is now known as Quintasan | ||
Laney | Subject: Reminder: Desktop team meeting @ Tue 25 Dec 16:30 - 17:30 | 16:12 |
Laney | Christmas meeting? ;-) | 16:12 |
jbicha | Laney: does libgnome-desktop-3-4 need to depend on gnome-desktop3-data (= ${source:Version}) ? -- that makes it so it's not parallel-installable with a newer soname version | 16:36 |
mbiebl | jbicha: it's for /usr/share/gnome/gnome-version.xml | 20:39 |
mbiebl | i.e. libgnome-desktop reporting the correct version | 20:39 |
mbiebl | during a transition you can relax the dependency i'd say | 20:40 |
mbiebl | I think we did the same in Debian for -0 → -2 | 20:41 |
jbicha | mbiebl: well we've got a PPA for gnome3.7 but the plan is for raring to stay with gnome3.6 and I'd rather we not have to maintain all the rdepends in the ppa | 20:53 |
bjsnider | wouldn't 3.7 be an unstable version? | 20:54 |
jbicha | bjsnider: yes | 20:56 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!