warbo-utilities: 5c64fca8bf05a509fa45222ef0c04ac77290b8cf

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