937 reputation
21023
bio website
location Eindhoven, The Netherlands
age 32
visits member for 4 years, 9 months
seen yesterday

Software engineer living in Eindhoven, the Netherlands.


Jul
6
comment How to use ntpdate behind a proxy?
Thanks for the tip :)
Jul
6
comment How to use ntpdate behind a proxy?
Linux in my case (don't think it matters much though).
Jul
6
comment How to use ntpdate behind a proxy?
The NTP over HTTP link is inspiring, thanks for that!
Apr
5
comment Slight delay when switching modes in vim using tmux or screen
I suspect is is only available in the development version. You can get it here: github.com/ThomasAdam/tmux
Mar
5
comment How to enter copy mode on mouse scroll in tmux?
I am expecting to scroll the tmux buffer.
Mar
2
comment Slight delay when switching modes in vim using tmux or screen
Some good pointers here. I do use bash, but unfortunately TERM=xterm vim did not fix the problem. I'll have to dig a little deeper.
Feb
15
comment How to restart Apache when eth0 is plugged in?
Thanks, I am using Debian, works great :)
Dec
10
comment In vim's visual mode (type “v”), how do I select multiple lines?
Start by using k and j to go up and down.
Oct
30
comment Terminal that supports ANSI italic escape code?
Indeed, thanks, I've edited the question.
Oct
29
comment Terminal that supports ANSI italic escape code?
No, I'm not :) Some sources mention it as a valid code though, e.g. en.wikipedia.org/wiki/ANSI_escape_code
Dec
20
comment Automatically install a desktop launcher for an Ubuntu .deb package
Thanks, I got it to work using the $SUDO_USER environment variable. For some reason, xdg-desktop-icon insisted on installing the .desktop file to /root/Desktop all of a sudden. I copy the .desktop file manually now to the Desktop of $SUDO_USER, and adjust its permissions accordingly.
Dec
11
comment How to do a quick find with forward slash in Chrome?
Yes, I got it to work now, thanks. Still, this isn't a solution unfortunately :(
Dec
11
comment Automatically install a desktop launcher for an Ubuntu .deb package
I have tried Using xdg-desktop-icon install. The desktop icon is installed to the user's desktop, but is read-only for root. How to ensure that the desktop icon is usable by the user?
Dec
10
comment How to do a quick find with forward slash in Chrome?
The Shortcut manager does not seem to work for Ubuntu unfortunately. Also, AutoHotkey is a Windows only solution. Thanks for a pointer in the right direction though, I'll start looking into UI automation tools for Ubuntu and see where that gets me.
Dec
4
comment Automatically install a desktop launcher for an Ubuntu .deb package
Thanks, I'll try that.
Dec
2
comment Automatically install a desktop launcher for an Ubuntu .deb package
I already have a .desktop file, the challenge is how to get it installed on the user's desktop. I'm not using Cmake, I'm using Ubuntu's packaging tools, dh_make and debuild.