1 2 3 4 5 6 7 8 9 10 11 12 13
function __fish_paginate -d "Paginate the current command using the users default pager" set -l cmd less if set -q PAGER set cmd $PAGER end if commandline -j|grep -v "$cmd *\$" >/dev/null commandline -aj "|$cmd;" end end