Skip to main content
Super User
Ruud Harmsen's user avatar
Ruud Harmsen's user avatar
Ruud Harmsen's user avatar
Ruud Harmsen
  • Member for 2 years, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
11
reputation
27
reached
1
answer
1
question
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
View all tags
1
Score
2
Posts
100
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
answer
1
How do I reload .inputrc?
Jan 15, 2022
question
0
Grep’s result coloring, and right-to-left scripts
Jun 3