54 reputation
5
bio website
location
age
visits member for 2 years, 2 months
seen May 6 at 12:36
stats profile views 12

Jan
28
comment Is it safe to use the Linux Mint repository in Ubuntu?
Since I had problems on older versions of ubuntu with PPAs, I try to avoid using them if possible. I'll follow your advice this time, though (the lesser of two evils...). Thanks.
Jan
17
comment How to force Update Manager to use wired connection by default
You were right. As soon as I plug in the ethernet cable, a new tab appears in the connection information: "Wired connection 1 (default)". Thanks again!
Jan
16
comment How to force Update Manager to use wired connection by default
Thanks. I will test your theory later on today. If I understand you well, by default the wired connection has precedence over the WIFI, is that it?
Dec
18
comment Where is the xcompmgr file located?
I followed your instructions, that is, created a xcompmgr desktop file. And it worked perfectly! Thanks.
Nov
18
comment How can I switch to other icon sets in Unity without using the Gnome Tweak Tool
Works fine! Thanks.
Nov
18
comment How can I switch to other icon sets in Unity without using the Gnome Tweak Tool
To make changes in gconf-editor, do I have to open it via the terminal with gksudo?
Mar
4
comment What is happening with the UbuntuWeeklyNewsletter?
Thanks for the info. And the link!