[00:07] <asdf__> My bad, I though my screen is already 1024x768 setting. Already change the resolution. Its only two row icon  in 800x600 resolution, so it's scare me if it's by default, you know, kind useless big tile of metro thing.
[00:10] <tommie-lie> I have 1600x900 and 4.5 rows (the fifth row fades away) in the application overview
[00:11] <tommie-lie> and tbh, I can't imagine it would be better if the icons were smaller. All those icons on the screen just make it impossible to find anything specific
[00:11] <asdf__> Now it's four row of icon in 1024x768. Still browsing, how to make it more smaller for small screen resolution. Something like "configuration editor" for new gnome version,
[00:11] <tommie-lie> but then again, I don't use the app overview, anyway, for that exact reason: it takes forever to start anything
[00:12] <tommie-lie> there's dconf-editor that configures the gsettings backend that is now used (instead of gconf in 2.x), but I don't know if there's a key for the icon size
[00:12] <tommie-lie> lemme look at the source
[00:15] <tommie-lie> asdf__: that seems to be a theme setting
[00:16] <tommie-lie> asdf__: theming is done in CSS in gnome shell, the class is icon-grid, the attribute is -shell-grid-horizontal-item-size and the same for vertical
[00:17] <tommie-lie> asdf__: you can have a look at /usr/share/gnome-shell/theme/gnome-shell.css starting from line 750 and play around a bit, if you want
[00:17] <tommie-lie> maybe setting icon-size on icon-grid class is enough to fix that
[00:23] <asdf__> wow, thanks. i'll try to configure it. i think the goal of gnome user is the same, bring back gnome main menu and gnome menu bar
[00:24] <tommie-lie> come again? what is gnome user?
[00:24] <asdf__> user that prefer gnome
[00:25] <darkxst> asdf__, they are in the new gnome classic session
[00:25] <asdf__> it exist? from login page?
[00:25] <tommie-lie> you mean the goal of gnome users (in general) is to bring back old gnome features? I must disagree, it's not my goal, I like Gnome 3 a lot better than Gnome 2, and I already liked that a lot better than any other environment I have used
[00:26] <darkxst> asdf__, install gnome-shell-extensions and then it will be available at login
[00:28] <asdf__> yeah, perhaps i'm must be conservative type. but as usual, linux always have flavor for everybody. thanks i'll get back to login page, to check the clasic one
[04:23] <ronj> Hi, since today's update I can no longer use https://extensions.gnome.org/local/ website from Firefox, it tells me "You do not appear to have an up to date version of GNOME3. You won't be able to install extensions from here. See the about page for more information." , and indeed if I go to Tools > Addons > Plugins, the Shell plugin is not here. Feel free to ask for more tests.
[04:27] <ronj> well it's more than that
[04:27] <ronj> GDM seems to have been removed, and I can no longer select Shell from the login manager
[04:27] <ronj> currently I'm in Unity
[04:31] <ronj> oh yeah indeed shell was removed: http://pastebin.com/yZ7kRnBk
[04:31] <ronj> some wicked dependency, I guess :-/
[04:31] <ronj> sad
[04:33] <ronj> and if I try to re-install the removed package, here's what happens: http://pastebin.com/ekXkTidN
[04:36] <ronj> going to sleep, requests for test welcome, I'll have a look tomorrow
[04:36] <ronj> cheers
[08:57] <Ponch0> morning-afternoon-evening..
[08:58] <Ponch0> I'm having issues after tonights upgrade, I did a partial like it recommended and i'm now logging in AS "gnome display manager"
[08:59] <Ponch0> I hit ctrl alt del, after 60 seconds logs me out and i'm able to log in with my keyboard because at login my mouse doesn't work.
[08:59] <Ponch0> Annnd. I have ubuntu unity or whatever they call it, WTH!!!
[10:41] <Ponch0> I'm having issues minimizing windows in unity 13.04, It just freezes. Does anyone know what may be causing the issue?
[14:27] <ronj> Ponch0, same thing here
[14:27] <ronj> GDM seems to have been removed, and I can no longer select Shell from the login manager, currently I'm in Unity and shell was removed: http://pastebin.com/yZ7kRnBk -  some wicked dependency, I guess :-/ and if I try to re-install the removed package, here's what happens: http://pastebin.com/ekXkTidN
[14:46] <Ponch0> ronj: Hey bud, I don't have as many missing as you but seems similar http://pastebin.com/wuMCjf00
[14:48] <Ponch0> ronj: Here is for dist-upgrade, http://pastebin.com/DbvDZ1z5
[14:49] <Ponch0> ronj: For me GDM wasn't removed, rather when I restarted computer I was "Logged in AS "Gnome Display Manager", and my mouse didn't work.
[14:49] <Ponch0> I was able to fix my login screen by installing lightdm and removing GDM.
[14:50] <Ponch0> Unfortunately, I'm stuck using Unity for now.
[15:08] <ronj> yup, same here
[18:46] <ricotz> jbicha, hi
[18:47] <ricotz> jbicha, i hope you realize you are doing some bold moves with copying packages from staging
[18:48] <ricotz> make sure *not* to delete "gtksourceview3 - 3.7.90-0ubuntu1~raring2"
[18:49] <ricotz> and pango, harfbuzz, plymouth should be moved too since they are already deps due the pango packaging changes
[19:02] <ronj> Hi I just saw an update to gnome-shell-common, does it solve yesterday's broken upgrade for you? For me it doesn't.
[19:04] <ricotz> jbicha, https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1186506
[19:04] <ubot5> Launchpad bug 1186506 in gnome-shell (Ubuntu) "[GNOME3 PPA] GNOME Shell 3.8.2-1ubuntu2~raring1 not installable" [Undecided,In progress]
[19:17] <ronj> same here, Shell and many other packages have been removed. apt logs: http://pastebin.com/yZ7kRnBk , and if I try to re-install the removed package, here's what happens: http://pastebin.com/ekXkTidN
[19:28] <ricotz> ronj, we are aware of it, thanks
[19:29] <ronj> ricotz, cool :) , is there anything we can help on?
[19:29] <ricotz> it is fine, i am just waiting for jbicha to confirm
[19:30] <ronj> ok
[19:31] <ronj> what was the cause of that? core ubuntu package updates changing dependencies that became unmet? are the maintainers aware of what that means to ubuntu-gnome users? deinstalling ubuntu-gnome-desktop is a pretty big deal, isn't it?
[19:32] <ronj> I mean, e.g. my mom would be pretty lost if that happened
[19:34] <ricotz> ronj, it is caused by copying binary packages from the staging ppa
[19:35] <ricotz> which were built under slightly different conditions
[19:39] <ronj> ok thx for the info, good luck for the fix
[20:09] <jbicha> ricotz: can you go ahead and copy the extra packages to the gnome3 ppa then?
[20:09] <jbicha> I had already rebuilt gnome-shell & totem
[20:12] <ricotz> jbicha, will do -- please build the packaging in the appropriate gnome3 ppa rather than copying them from yours to have the dbgsym packages built
[20:12] <ricotz> jbicha, please push a bumped gnome-shell to staging too to overrule it again
[20:13] <jbicha> hmm? dbgsym packages? I build in a different PPA because i386 and amd64 don't always finish building at the same time
[20:14] <ricotz> jbicha, make sure to remember the gtksourceview note when cleaning things up at some point
[20:14] <jbicha> what note?
[20:14] <ricotz> jbicha, the gnome3 ppas building dbgsym package in addition and using urgency medium is fine imo for this case
[20:14] <ricotz> <ricotz> make sure *not* to delete "gtksourceview3 - 3.7.90-0ubuntu1~raring2"
[20:15] <ricotz> you copied the soname bumped version and this still present package makes it possible to install it
[20:15] <jbicha> is the gnome3 ppa special with dbgsym packages?
[20:16] <ricotz> jbicha, yes i think cjwatson enabled them on darkxst's request
[20:17] <jbicha> ok cool I didn't know that
[20:17] <jbicha> I'm thinking we need a third PPA so that we can build and test packages before pushing to the gnome3 ppa
[20:18] <ricotz> hmm, maybe
[20:19] <ricotz> jbicha, is harfbuzz 0.9.18 needed for webkit2?
[20:20] <ricotz> or is it just a debian bump for transitioning for libharfbuzz0a
[20:20] <jbicha> ricotz: just a debian bump
[20:20] <ricotz> ok
[20:20] <ricotz> maybe lower it and push it to staging for raring?
[20:21] <ricotz> although i guess we want the newer harfbuzz anyway too
[20:21] <jbicha> yes you're welcome to give it a try, last time webkit took half a dozen tries or so to build on the i386 ppa builders :(
[20:21] <ricotz> test failures or size problems?
[20:22] <jbicha> the builders timed out
[20:24] <jbicha> gnome-shell is building now on staging
[20:24] <ricotz> ok
[20:24] <ricotz> thx
[20:24] <jbicha> thanks for your help cleaning things up
[20:34] <ricotz> ronj, please try to update now
[20:40] <ricotz> jbicha, i will give webkit a try
[20:43] <ronj> ricotz, doing that now. I got the new libpango & stuff, and am re-installing ubuntu-gnome-desktop
[20:44] <jbicha> ricotz: you can use the webkit packaging in my ppa if you want; it targets saucy & didn't downgrade harfbuzz
[20:44] <ricotz> ronj, ok
[20:45] <ricotz> jbicha, yeah, i grabbed it
[20:45] <ricotz> jbicha, https://launchpad.net/~ricotz/+archive/staging/+sourcepub/3238059/+listing-archive-extra
[20:49] <ronj> ricotz jbicha, update + dist-upgrade + install ubuntu-gnome-desktop did the job
[20:49] <ronj> thanks for the fix!
[20:50] <ronj> good to be back home :)
[20:56] <ricotz> good :)
[20:58] <Ponch0> Hey guys, I lost my ubuntu gnome and am on Unity, how do I get back to gnome?
[21:02] <DarkEra> Ponch0, how can you lose gnome?
[21:03] <DarkEra> kinda weird, doesn't it show in your sessions menu?
[21:03] <DarkEra> at the login screen that is
[21:16] <Ponch0> DarkEra: my apologies, same thing happened to ronj after the last update.
[21:17] <ronj> Ponch0, bug is fixed, just sudo apt-get update && sudo apt-get dist-upgrade && sudo apt-get install ubuntu-gnome-desktop
[21:17] <Ponch0> DarkEra, no I only have "ubuntu" or "system default" as options
[21:17] <ronj> Ponch0, https://bugs.launchpad.net/bugs/1186506
[21:17] <Ponch0> ronj: thank you sir.
[21:17] <ubot5> Launchpad bug 1186506 in gnome-shell (Ubuntu) "[GNOME3 PPA] GNOME Shell 3.8.2-1ubuntu2~raring1 not installable" [Undecided,Fix released]
[21:18] <ronj> Ponch0, don't thank me, thank ricotz & jbicha :)
[21:18] <Ponch0> also thank you ricotz, and jbicha.
[21:19] <Ponch0> Here goes nothing :)
[21:26] <AnAnt> Hello, I am using Gnome 3.8 from Gnome3 PPA, and there is no lock menu item in the user menu
[21:26] <AnAnt> last update was 2 days ago
[21:29] <Ponch0> U guys are awesome, my baby is back!
[21:46] <DarkEra> Ponch0, that's great :)
[23:14] <Ponch0> DarkEra: Thanks!