Reputation
Top tag
Next privilege 500 Rep.
Access review queues
Badges
2 4 22
Impact
~37k people reached

  • 0 posts edited
  • 1 helpful flag
  • 31 votes cast
Apr
21
comment Wrong icons displayed in Windows 10
So to post an update here: I have reinstalled Windows 10 multiple times (not because of this, but because of something else). Every single time, both Evernote and TortoiseHg got these wrong icons! This time on the other hand, it seems to work, for no obvious reason.
Apr
21
awarded  Popular Question
Apr
5
awarded  Custodian
Apr
5
reviewed Approve Windows 10 Taskbar: Never combine, always hide labels
Apr
5
comment Windows 10 Taskbar: Never combine, always hide labels
good you added "Just joking" :D Yeah, I really don't need any of this, I tried the features. I really like Windows with as little modification as possible. But this is something I need. I'm giving you +1, but I won't accept the answer and see if someone comes along with a registry solution.
Apr
5
comment Windows 10 Taskbar: Never combine, always hide labels
In the end, I installed 7 Tweaker. I didn't want to, because it was just this minor feature that I needed, but I had to, since there is no alternative.
Apr
3
accepted Do I really need to “exit” from an SSH session in Linux using PuTTY?
Apr
2
comment Do I really need to “exit” from an SSH session in Linux using PuTTY?
Good comment! Didn't know that. The question remains, though.
Apr
2
asked Do I really need to “exit” from an SSH session in Linux using PuTTY?
Feb
13
accepted Changing sh color in .bashrc
Feb
13
comment Changing sh color in .bashrc
~/.profile was very helpful. I won't set the MOTD color, though, because I want green color only for the root user. But with the profile set to green, this is the closest to what I wanted to achieve. +1
Feb
13
comment Changing sh color in .bashrc
Can you please put an answer with a description where exactly to put what and make everything (including MOTD) green, but only for root user?
Feb
13
comment Changing sh color in .bashrc
Okay, I came closer now. When I create a file named .profile with the content . ~/.bashrc, I get the green shell, but the text above the first input prompt is still gray. Is there a way to solve this?
Feb
13
revised Changing sh color in .bashrc
added 81 characters in body
Feb
13
comment Changing sh color in .bashrc
echo $SHELL returns /bin/bash, so I'm obviously using bash. Why does this not work then?
Feb
13
asked Changing sh color in .bashrc
Jan
29
awarded  Famous Question
Dec
26
comment Is being a Tor exit node dangerous?
Great! Now I have a much clearer picture about what is TOR.
Dec
26
accepted Is being a Tor exit node dangerous?
Dec
26
comment Is being a Tor exit node dangerous?
Very good explanation! What if the exit node is led by government authorities? Can they see what exactly you're doing?