Plain TeXnician and linux nerd.
Member for 5 years, 11 months
0 profile views
Last seen Jan 27 '17 at 6:56
Top network posts
- 29 How to copy file contents to the local clipboard from a file in a remote machine over ssh
- 18 How do I typeset arbitrary fractions like the standard symbol for .5 = ½?
- 11 How to replace text between two markers in a file with a section of text from another file?
- 7 What's the most plain way to define a parametrized macro within an outer macro definition
- 7 ssh from screen leads to unknown terminal error
- 7 What's the name of the environment(?) variable with current terminal width?
- View more network posts →