Shell: Notes from @vassiki

[yarikoptic]

Shell

• pager cmdline is debian-specific. In general it is PAGER env variable which instructs which pager to use. Also connection to the man command was not clear
• in shortcuts describe n for search
• folks who run man -k containers on their systems might find none. Change to shell?
• show the value of the $PATH when talking about it; describe the role of : in there (may be note that on Windows it is not : but ;)
• -a for which is kinda buried, may be also ask to try it also on python on their laptops
• note about needing two TABS when completion is ambiguous (multiple choices)
• note for poor Mac users that Alt doesn't translate to Meta and they need to use Esc for e.g. Alt-.
• might be worth noting Ctrl-C as the way to cancel and get out of incremental search or editing current line, while still leaving it on the screen
• Fail early: not yet clear what to do with it
  - may be make analogy to Python, where script would interrupt as soon as error or undefined variable is used
  - the whole section is a bit "over the head" because, probably, we do not do much of scripting there
  - not clear where to put set -e
• may be consider "pre feeding bash history" with some real data analysis example (e.g. bet) which ppl need to place into a script.