Skip to main content
Unix & Linux
Mike H-R's user avatar
Mike H-R's user avatar
Mike H-R's user avatar
Mike H-R
  • Member for 10 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
259
reputation
11k
reached
1
answer
5
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all tags
1
Score
3
Posts
50
Posts %
1
Score
2
Posts
33
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
question
6
How do you downgrade multiple packages in arch linux?
May 28, 2015
question
3
Why did an update to gnome-terminal break my system-colours and how do I fix it?
Apr 24, 2014
question
3
In a Virtualbox VM how do I set the filesystem permissions?
Oct 28, 2014
question
2
How do I mount a Windows folder on Linux (with Samba) and see the correct permissions?
Oct 28, 2014
answer
1
How do I mount a Windows folder on Linux (with Samba) and see the correct permissions?
Oct 29, 2014
question
0
Why is my /etc/apt/sources.list set to squeeze when I have debian wheezy?
Jul 25, 2014
Top network posts
View all network posts
127
Ruby Email validation with regex
47
Git: cancel an interactive rebase
37
Can Elixir or Erlang programs be compiled to a standalone binary?
33
What functions can System F not compute?
26
How can I Transfer Google Chrome's Data and Settings to another Google Account?