diff options
| author | tv <tv@shackspace.de> | 2015-08-05 23:08:47 +0200 | 
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-08-05 23:09:53 +0200 | 
| commit | 71ef6469e17e876d99555e55532a61758e51a25b (patch) | |
| tree | ef5d6df092f77b69f45cb7b6fa853230b985f543 | |
| parent | 2a19b0ade0967ae0e9919fde722f370007699f5c (diff) | |
cac help: invoke $PAGER when stdin is a terminal
| -rwxr-xr-x | cac | 14 | 
1 files changed, 12 insertions, 2 deletions
| @@ -64,12 +64,22 @@ cac() {  }  #? cac help -#?    Print this help message. +#?    Show this help message.  #?  __cac_cli__help() {( +  # test -t expects GNU coreutils +  if test -t 0 >/dev/null 2>&1; then +    filter() { +      $PAGER "$@" +    } +  else +    filter() { +      cat "$@" +    } +  fi    exec sed < "$0" -n '      s/^#?\( \(.*\)\)\?/\2/p -  ' +  ' | filter  )}  #? cac console SERVERSPEC | 
