Skip to main content
Super User
user1537366's user avatar
user1537366's user avatar
user1537366's user avatar
user1537366
  • Member for 9 years, 10 months
  • Last seen this week
Profile Activity
Stats
151
reputation
2k
reached
1
answer
3
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
View all tags
1
Score
3
Posts
75
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts
question
2
Avoiding accidental execution of python scripts as bash scripts
Apr 22
question
1
Android-x86 VM does not respond to ping
Apr 8, 2018
answer
1
Display all output but highlight search matches
Dec 10
question
0
copying tabs from terminal is broken at the text-wrapping edge (the width changes outcome)
Sep 25, 2023