148 reputation
8
bio website
location Prague, Czech Republic
age 32
visits member for 3 years, 1 month
seen Oct 17 at 8:24

(your about me is currently blank)


Oct
3
answered How do I add a custom launcher?
Sep
27
awarded  Autobiographer
Mar
17
awarded  Teacher
Mar
17
comment Can ssh onto server using PuTTY, but not ssh from terminal
Hmm, can you limit access to SSH to only certain IPs in DigitalOceans backend?
Mar
17
comment Can ssh onto server using PuTTY, but not ssh from terminal
Can you ping your server from work?
Mar
17
comment Can ssh onto server using PuTTY, but not ssh from terminal
Then it's not a port issue ;) At least not if you try to reach portquiz.net
Mar
17
awarded  Editor
Mar
17
revised Can ssh onto server using PuTTY, but not ssh from terminal
Added portquiz.net example
Mar
17
comment Can ssh onto server using PuTTY, but not ssh from terminal
You can also use portquiz.net, I'll edit the answer to reflect that.
Mar
17
answered Can ssh onto server using PuTTY, but not ssh from terminal
Sep
26
comment How to configure extra buttons in Logitech Mouse
You made my day, thank you very much.
Sep
19
awarded  Tumbleweed
Sep
12
asked How to set battery charging thresholds on T420s
Sep
10
comment How to disable alt-f1 / alt-f2 shortcuts?
After using johanmynhard's method, this one did the trick.
Oct
12
awarded  Talkative
Jan
29
awarded  Supporter
Jan
29
awarded  Scholar
Jan
29
accepted Found an error in font in Ubuntu, where and how should I report it?
Sep
3
awarded  Student
Sep
2
asked Found an error in font in Ubuntu, where and how should I report it?