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:07
tommie-lieI have 1600x900 and 4.5 rows (the fifth row fades away) in the application overview00:10
tommie-lieand 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 specific00: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-liebut then again, I don't use the app overview, anyway, for that exact reason: it takes forever to start anything00:11
tommie-liethere'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 size00:12
tommie-lielemme look at the source00:12
tommie-lieasdf__: that seems to be a theme setting00:15
tommie-lieasdf__: 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 vertical00:16
tommie-lieasdf__: 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 want00:17
tommie-liemaybe setting icon-size on icon-grid class is enough to fix that00:17
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 bar00:23
tommie-liecome again? what is gnome user?00:24
asdf__user that prefer gnome00:24
darkxstasdf__, they are in the new gnome classic session00:25
asdf__it exist? from login page?00:25
tommie-lieyou 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 used00:25
darkxstasdf__, install gnome-shell-extensions and then it will be available at login00:26
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 one00:28
ronjHi, 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:23
ronjwell it's more than that04:27
ronjGDM seems to have been removed, and I can no longer select Shell from the login manager04:27
ronjcurrently I'm in Unity04:27
ronjoh yeah indeed shell was removed: http://pastebin.com/yZ7kRnBk04:31
ronjsome wicked dependency, I guess :-/04:31
ronjand if I try to re-install the removed package, here's what happens: http://pastebin.com/ekXkTidN04:33
ronjgoing to sleep, requests for test welcome, I'll have a look tomorrow04:36
Ponch0I'm having issues after tonights upgrade, I did a partial like it recommended and i'm now logging in AS "gnome display manager"08:58
Ponch0I 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
Ponch0Annnd. I have ubuntu unity or whatever they call it, WTH!!!08:59
Ponch0I'm having issues minimizing windows in unity 13.04, It just freezes. Does anyone know what may be causing the issue?10:41
ronjPonch0, same thing here14:27
ronjGDM 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/ekXkTidN14:27
Ponch0ronj: Hey bud, I don't have as many missing as you but seems similar http://pastebin.com/wuMCjf0014:46
Ponch0ronj: Here is for dist-upgrade, http://pastebin.com/DbvDZ1z514:48
Ponch0ronj: 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
Ponch0I was able to fix my login screen by installing lightdm and removing GDM.14:49
Ponch0Unfortunately, I'm stuck using Unity for now.14:50
ronjyup, same here15:08
ricotzjbicha, hi18:46
ricotzjbicha, i hope you realize you are doing some bold moves with copying packages from staging18:47
ricotzmake sure *not* to delete "gtksourceview3 - 3.7.90-0ubuntu1~raring2"18:48
ricotzand pango, harfbuzz, plymouth should be moved too since they are already deps due the pango packaging changes18:49
ronjHi I just saw an update to gnome-shell-common, does it solve yesterday's broken upgrade for you? For me it doesn't.19:02
ricotzjbicha, https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/118650619:04
ubot5Launchpad bug 1186506 in gnome-shell (Ubuntu) "[GNOME3 PPA] GNOME Shell 3.8.2-1ubuntu2~raring1 not installable" [Undecided,In progress]19:04
ronjsame 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/ekXkTidN19:17
ricotzronj, we are aware of it, thanks19:28
ronjricotz, cool :) , is there anything we can help on?19:29
ricotzit is fine, i am just waiting for jbicha to confirm19:29
ronjwhat 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:31
ronjI mean, e.g. my mom would be pretty lost if that happened19:32
ricotzronj, it is caused by copying binary packages from the staging ppa19:34
ricotzwhich were built under slightly different conditions19:35
ronjok thx for the info, good luck for the fix19:39
jbicharicotz: can you go ahead and copy the extra packages to the gnome3 ppa then?20:09
jbichaI had already rebuilt gnome-shell & totem20:09
ricotzjbicha, will do -- please build the packaging in the appropriate gnome3 ppa rather than copying them from yours to have the dbgsym packages built20:12
ricotzjbicha, please push a bumped gnome-shell to staging too to overrule it again20:12
jbichahmm? dbgsym packages? I build in a different PPA because i386 and amd64 don't always finish building at the same time20:13
ricotzjbicha, make sure to remember the gtksourceview note when cleaning things up at some point20:14
jbichawhat note?20:14
ricotzjbicha, the gnome3 ppas building dbgsym package in addition and using urgency medium is fine imo for this case20:14
ricotz<ricotz> make sure *not* to delete "gtksourceview3 - 3.7.90-0ubuntu1~raring2"20:14
ricotzyou copied the soname bumped version and this still present package makes it possible to install it20:15
jbichais the gnome3 ppa special with dbgsym packages?20:15
ricotzjbicha, yes i think cjwatson enabled them on darkxst's request20:16
jbichaok cool I didn't know that20:17
jbichaI'm thinking we need a third PPA so that we can build and test packages before pushing to the gnome3 ppa20:17
ricotzhmm, maybe20:18
ricotzjbicha, is harfbuzz 0.9.18 needed for webkit2?20:19
ricotzor is it just a debian bump for transitioning for libharfbuzz0a20:20
jbicharicotz: just a debian bump20:20
ricotzmaybe lower it and push it to staging for raring?20:20
ricotzalthough i guess we want the newer harfbuzz anyway too20:21
jbichayes 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
ricotztest failures or size problems?20:21
jbichathe builders timed out20:22
jbichagnome-shell is building now on staging20:24
jbichathanks for your help cleaning things up20:24
ricotzronj, please try to update now20:34
ricotzjbicha, i will give webkit a try20:40
ronjricotz, doing that now. I got the new libpango & stuff, and am re-installing ubuntu-gnome-desktop20:43
jbicharicotz: you can use the webkit packaging in my ppa if you want; it targets saucy & didn't downgrade harfbuzz20:44
ricotzronj, ok20:44
ricotzjbicha, yeah, i grabbed it20:45
ricotzjbicha, https://launchpad.net/~ricotz/+archive/staging/+sourcepub/3238059/+listing-archive-extra20:45
ronjricotz jbicha, update + dist-upgrade + install ubuntu-gnome-desktop did the job20:49
ronjthanks for the fix!20:49
ronjgood to be back home :)20:50
ricotzgood :)20:56
Ponch0Hey guys, I lost my ubuntu gnome and am on Unity, how do I get back to gnome?20:58
DarkEraPonch0, how can you lose gnome?21:02
DarkErakinda weird, doesn't it show in your sessions menu?21:03
DarkEraat the login screen that is21:03
Ponch0DarkEra: my apologies, same thing happened to ronj after the last update.21:16
ronjPonch0, bug is fixed, just sudo apt-get update && sudo apt-get dist-upgrade && sudo apt-get install ubuntu-gnome-desktop21:17
Ponch0DarkEra, no I only have "ubuntu" or "system default" as options21:17
ronjPonch0, https://bugs.launchpad.net/bugs/118650621:17
Ponch0ronj: thank you sir.21:17
ubot5Launchpad bug 1186506 in gnome-shell (Ubuntu) "[GNOME3 PPA] GNOME Shell 3.8.2-1ubuntu2~raring1 not installable" [Undecided,Fix released]21:17
ronjPonch0, don't thank me, thank ricotz & jbicha :)21:18
Ponch0also thank you ricotz, and jbicha.21:18
Ponch0Here goes nothing :)21:19
AnAntHello, I am using Gnome 3.8 from Gnome3 PPA, and there is no lock menu item in the user menu21:26
AnAntlast update was 2 days ago21:26
Ponch0U guys are awesome, my baby is back!21:29
DarkEraPonch0, that's great :)21:46
Ponch0DarkEra: Thanks!23:14

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!