414 reputation
28
bio website
location
age
visits member for 1 year, 3 months
seen May 20 at 5:58
stats profile views 6

I try to help out where I can. Currently active in pkg-games on Debian.


May
11
revised How do I remap certain keys?
sed typo
May
11
revised How do I remap certain keys?
added 6 characters in body
May
11
answered How do I remap certain keys?
May
9
revised gnome-open raises this error when run from inside tmux
deleted 1 characters in body
Mar
4
answered gnome-open raises this error when run from inside tmux
Feb
10
answered Install Code::Blocks in Ubuntu 12.10
Feb
10
answered How to list all my packages from command line which can show package name, license, source url, etc?
Feb
8
comment Install GNOME Onscreen Keyboard (GOK) in Ubuntu 12.04
I guess there's a bug on the way the webpage pick up packages, it seems like gok is still present as a virtual package, but no other package provides it, so it's just a ghost package, and apps.ubuntu.com seems to get the wrong idea.
Feb
8
comment Install GNOME Onscreen Keyboard (GOK) in Ubuntu 12.04
As per packages.ubuntu.com/search?keywords=gok it seems like that package is in fact not available in precise...
Feb
3
awarded  Yearling
Feb
2
revised How do I run lintian from pbuilder-dist?
merge and clean up suggested edits (thanks for typo fix)
Feb
1
awarded  Revival
Jan
10
answered Building package from binary files - what's wrong with my control file
Jan
5
revised Moving /boot to a separate partition
--boot-directory
Jan
5
comment Moving /boot to a separate partition
I don't think the fact that the OS-selection doesn't display has anything to do with btrfs, it's just a grub2 setting, see wiki.
Jan
5
answered Moving /boot to a separate partition
Jan
5
awarded  Critic
Jan
5
awarded  Editor
Jan
5
comment Why does Ubuntu create a @home directory on home partition?
Yes, see edits above, by the way, why is the ubuntu_home_dir folder there, shouldn't it suffice with just @home/username if it's mounted correctly (i.e. the @home/ subvolume node is mounted at /home)?
Jan
5
revised Why does Ubuntu create a @home directory on home partition?
Answered comment