warbo-utilities: 825150fb703a188b323bda4ed7b0c9cc82ffe84f

     1: { bash, pkgs, wrap }:
     2: 
     3: wrap {
     4:   name = "man";
     5:   paths = [ pkgs.man ];
     6:   script = ''
     7:     #!${bash}/bin/bash
     8:     if [[ "$TERM" = "dumb" ]]
     9:     then
    10:       # We're in Emacs, open this man page in Emacs's viewer
    11:       emacsclient -e "(man \"$1\")"
    12:     else
    13:       # We're outside Emacs, use the normal man binary
    14:       exec man "$@"
    15:     fi
    16:   '';
    17: }

Generated by git2html.