warbo-utilities: d5c1895f5968ba8f36d3e4f2281867c07280b283

     1: { bash, most, wrap }:
     2: 
     3: wrap {
     4:   name = "pager";
     5:   paths = [ most ];
     6:   script = ''
     7:     #!${bash}/bin/bash
     8:     if [[ "$TERM" = "dumb" ]]
     9:     then
    10:       # We're probably in Emacs; let it handle the paging itself
    11:       exec cat "$@"
    12:     else
    13:       exec most "$@"
    14:     fi
    15:   '';
    16: }