Amelio Vazquez-Reina

Member for 11 years, 3 months
Last seen more than a month ago

Summary

Reputation

36,549

36.5k
29.1k
21.7k

2019
2020
2021
2022

Next tag badge

27/100 score

1/20 answers

Badges

74

182

280

Newest

Famous Question

Next badge

300/600

Electorate

Questions

View all 265 questions

Score Activity Newest Views

270

Multiple similar entries in ssh config

Jan 17, 2013

221

Passing named arguments to shell scripts

May 14, 2014

198

How to check if a shell is login/interactive/batch

Dec 13, 2011

178

cat line X to line Y on a huge file

Sep 6, 2012

102

If processes inherit the parent's environment, why do we need export?

May 19, 2014

Answers

View all 8 answers

Score Activity Newest

27

Order of redirections

Dec 28, 2014

18

Specifying ciphers and protocol 2 in .ssh/config

Oct 12, 2012

6

Zsh: export: not valid in this context

Jun 10, 2015

5

Unable to copy from tmux (2.4+) to the OS X clipboard

May 4, 2017

3

Building zsh without admin priv: No terminal handling library found

Apr 27, 2014

Tags

View all 179 tags

shell

27

Score

46

posts

bash

27

Score

20

posts

io-redirection

27

Score

5

posts

command-line

27

Score

4

posts

file-descriptors

27

Score

1

post

Reputation

+10

Uppercase S in permissions of a folder

+10

Understanding IFS

+10

cat line X to line Y on a huge file

+10

tmux: Remapping keys to pane on the left/right/top/down

Badges

View all badges

74

gold badges

Socratic

Jul 2, 2014
Stellar Question

Feb 16
Great Question

× 5

Jan 19

182

silver badges

Inquisitive

Jul 2, 2014
Taxonomist

Jan 31
Civic Duty

Oct 22, 2011

280

bronze badges

Tag Editor

Apr 14, 2013
Quorum

Oct 22, 2011
Caucus

Jun 9, 2014

Bookmarks

View all 91 bookmarks

Score Activity Newest Views Added

1491

What is the exact difference between a 'terminal', a 'shell', a 'tty' and a 'console'?

Nov 16, 2010

724

Difference between nohup, disown and &

Nov 9, 2010

673

What do the numbers in a man page mean?

Oct 28, 2010

664

Preserve bash history in multiple terminal windows

Aug 26, 2010

482

Difference between Login Shell and Non-Login Shell?

May 8, 2012

Accounts

View all 96 accounts

82.7k
124
339
543

36.5k
74
182
280

Cross Validated

17.8k
27
75
110

6,648
21
58
81

4,907
3
28
47

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

1,265

upvotes

10

downvotes

300

question votes

975

answer votes