Noskcaj | darkxst, To vivid | 04:55 |
---|---|---|
Noskcaj | libgit2 has been bumped past what our current -glib supports to allow kde to work | 04:55 |
darkxst | Noskcaj, ok fine by me, may need a FFe though? | 05:36 |
darkxst | although I guess it won't be seeded, so maybe not | 05:39 |
darkxst | Noskcaj, did you get the build to work? fine, here in jhbuild | 05:42 |
Noskcaj | darkxst, No, i've not looked since this morning | 06:20 |
darkxst | maybe that symbol was added in libgit2-glib 0.23, didnt check that though | 06:25 |
raeth | Hello. | 08:41 |
raeth | is there a way to have trancarency in the terminal on Ubuntu-Gnome | 08:42 |
darkxst | raeth, its there in vivid | 08:43 |
raeth | vivid ? | 08:43 |
raeth | what is it ? | 08:43 |
darkxst | 15.04 | 08:43 |
JockeTF | Works fine for me on 14.10 as well. | 08:44 |
raeth | oh, is it released ? | 08:44 |
darkxst | next month its released, but beta builds are available now | 08:44 |
JockeTF | Just needed to change the profile settings and restart the terminal. | 08:44 |
raeth | i see | 08:44 |
darkxst | JockeTF, are you using the ppa's? | 08:44 |
JockeTF | darkxst: Ah, yes. The GNOME 3 one. | 08:45 |
raeth | what must i do on the profile settings JockeTF | 08:45 |
JockeTF | raeth: Just changed the transparency setting. But you'd probably need to upgrade the terminal too then... I wouldn't recommend that unless you know what you're doing. | 08:46 |
raeth | i'm newbe on linux :) | 08:47 |
raeth | i would like to know how to change gnome themes please ? | 08:48 |
darkxst | raeth, use gnome-tweak-tool, but you need to find themes first | 08:48 |
darkxst | you could try deviantart for that | 08:48 |
raeth | ok thank you :) | 08:48 |
darkxst | raeth, or make your own if you know CSS! | 08:49 |
raeth | what is CSS ? | 08:50 |
raeth | i only have Tweak-tool, is it the same thing than Gnome-Tweak-tool ? | 08:54 |
JockeTF | raeth: Tweak Tool in the menu is the same thing as gnome-tweak-tool, yes. | 08:55 |
JockeTF | raeth: CSS is a language for styling. It is used to create the styles of every website you visit. It is also used by GNOME to define how themes should look. | 08:56 |
raeth | ok thank you :) | 08:57 |
raeth | i downloaded a theme but i can not find how to run it in tweak-tool | 08:58 |
darkxst | raeth, you need to have the "user themes" extension enabled (part of gnome-shell-extensions) | 09:00 |
darkxst | and then you put the theme in ~/.local/share/themes or something like that | 09:00 |
raeth | ok thank you very much :) | 09:03 |
MooDoo | morning all | 10:32 |
=== dz0ny is now known as dz0ny_ | ||
=== dz0ny_ is now known as dz0ny | ||
=== MooDoo is now known as MooDooni | ||
=== MooDooni is now known as MooDoo | ||
Noskcaj | darkxst, Do you want to upload gnome-backgrounds 3.16 before the freeze? | 19:46 |
ricotz | darkxst, hi, https://launchpad.net/~webkit-team/+archive/ubuntu/unstable/+sourcepub/4857503/+listing-archive-extra -- https://launchpadlibrarian.net/201021470/webkit2gtk_2.7.92-0ubuntu1~vivid1_2.8.0-0ubuntu1~15.04~webkitteam1.diff.gz | 20:58 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!