218 reputation
18
bio website
location
age
visits member for 4 years, 5 months
seen Jul 25 at 20:09

Jul
14
awarded  Tumbleweed
Jul
7
answered How can I get information about an network interface uptime?
Jul
7
asked systemd: Start some services only when at home (based on WLAN SSID)
Apr
25
awarded  Yearling
May
13
awarded  Popular Question
Mar
5
awarded  Scholar
Mar
5
accepted Word 2010: How to change the color of non-printable characters?
Nov
26
revised tar – extract discarding directory structure
Better formatting of command lines
Oct
11
answered Firefox Vimperator - how to offset link hints?
Jul
23
awarded  Caucus
Jun
7
answered How do I set Thunderbird to notify me of new emails in only certain folders?
Apr
25
revised No DisplayPort output via DisplayPort→HDMI adapter from Nvidia card using Linux on Thinkpad W520
Tested with Windows 7 and it doesn’t work there, either
Apr
23
awarded  Editor
Apr
23
revised No DisplayPort output via DisplayPort→HDMI adapter from Nvidia card using Linux on Thinkpad W520
Added note about the graphical nvidia-settings program not helping either
Apr
22
asked No DisplayPort output via DisplayPort→HDMI adapter from Nvidia card using Linux on Thinkpad W520
Feb
13
comment Set linux routing tables to route F5 vpn and internet traffic
Have you tried to change the routing table with the route or ip command?
Dec
2
answered Keyboard layout for mathematical/Greek symbols
Dec
1
answered Conditional variables depending on whether Matlab or Octave is running the code
Dec
1
answered How to type special characters like ↑ in windows?
Dec
1
awarded  Student