Reputation
Next privilege 125 Rep.
Vote down
Badges
2
Newest
 Editor
Impact
0 people reached

Jul
17
awarded  Editor
Jul
17
revised Nothing comes up with I try to change the SSH port
Added ssh restart for systemd
Jul
17
comment Nothing comes up with I try to change the SSH port
@daltonfury42 I didn't know off the top of my head either, or I'd have filled it in ^^
Jul
17
suggested approved edit on Nothing comes up with I try to change the SSH port
Jul
17
comment Nothing comes up with I try to change the SSH port
service isn't going to cut it if OP is using systemd (15.04 onwards)
Jun
18
comment How to know what DNS am I using in Ubuntu 14.04
sed has the -E flag for extended regex, allowing r+ instead of rr*
Feb
4
comment Is there a simple text editor (like gedit) with options to make text bold?
@hyde It doesn't save them
Feb
3
comment How do I get and modify the source code of packages installed through apt-get?
You shouldn't need to use sudo with 'apt-get source'
Oct
28
comment How can I use docker without sudo?
Instead of the you need to log out ... message, consider adding newgrp docker (as @grundic) posted below. This logs you into the docker group
Oct
30
comment How to install Haskell Platform for Ubuntu 13.04?
This is fixed in 13.10, so upgrading is a solution for those who can upgrade.
Oct
23
awarded  Supporter