4,144 reputation
21242
bio website
location Netherlands
age 25
visits member for 2 years, 11 months
seen 13 hours ago

Nov
22
awarded  Popular Question
Nov
4
awarded  Good Answer
Oct
29
comment How to find all images with a certain pixel size using commandline?
@har-wradim Thanks, nice suggestion!
Oct
29
revised How to find all images with a certain pixel size using commandline?
Made awk shorter
Sep
30
awarded  Explainer
Sep
26
awarded  Popular Question
Sep
8
awarded  Good Answer
Sep
1
comment Linking to man page sections?
Downvote without comment?
Aug
27
reviewed Approve .tcl file not running
Aug
21
awarded  Enlightened
Aug
21
awarded  Nice Answer
Aug
13
answered Linking to man page sections?
Jul
27
comment How to install Eclipse?
Works for me except /opt/eclipse/configuration/org.eclipse.osgi does not exist...
Jul
21
comment permission denied when starting android sdk
That guide is waaay to complicated. Installing Android Studio (=intellij) is quite easy: m.webupd8.org/2014/05/…. Let me know if it works out for you.
Jul
21
comment is this exotic resolution Dell U2913WM display supported?
I don't think he is wondering about his hardware, more likely drivers.
Jul
21
comment is this exotic resolution Dell U2913WM display supported?
I have the LG34UM95-P (3440x1440) with a 780 Ti and it works flawlessly with the proprietary drivers, I don't know about the open source drivers.
Jul
14
comment Bash Tab Auto-complete not working for apt
It works, but I don't get why, the el stands for Emacs Lisp...
Jul
3
reviewed Approve 7z data compression utility -is missing
Jul
2
awarded  Curious
Jun
15
comment Problem binding a shortcut to a function / multimedia key
Thanks for your comment, I looked into it and it appears udev will be merged into systemd and keymap settings will be managed in hwdb instead. According to bbs.archlinux.org/viewtopic.php?id=168720 it is possible to extract findkeyboards from an older version of systemd, but I'm unsure the rest of the answer still applies...