Skip to main content
The 2024 Developer Survey results are live! See the results
Super User
ikrabbe's user avatar
ikrabbe's user avatar
ikrabbe's user avatar
ikrabbe
  • Member for 9 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
181
reputation
37k
reached
2
answers
0
questions
Communities
View all
About

Plain TeXnician and linux nerd.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
5
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
Top posts
5
Bash: ls * without folder grouping
Jun 18, 2015
3
Why a listen 443 default_server; nginx rule override already configured rule (http rules working normal way)?
Jun 18, 2015
Top network posts
View all network posts
38
How to copy file contents to the local clipboard from a file in a remote machine over ssh
24
How do I typeset arbitrary fractions like the standard symbol for .5 = ½?
12
How to replace text between two markers in a file with a section of text from another file?
11
What's the name of the environment(?) variable with current terminal width?
9
ssh from screen leads to unknown terminal error