@@ -1,161 +0,0 @@
1−[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;248;248;242mstd[0m[38;2;248;248;242m::[0m[38;2;248;248;242mio[0m[38;2;248;248;242m::[0m[38;2;248;248;242m{[0m[38;2;255;255;255mself[0m[38;2;248;248;242m,[0m[38;2;248;248;242m Write[0m[38;2;248;248;242m}[0m[38;2;248;248;242m;[0m
2−[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
3−[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;248;248;242mstd[0m[38;2;248;248;242m::[0m[38;2;248;248;242mprocess[0m[38;2;248;248;242m::[0m[38;2;248;248;242mChild[0m[38;2;248;248;242m;[0m
4−
5−[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;249;38;114mcrate[0m[38;2;248;248;242m::[0m[38;2;248;248;242merror[0m[38;2;248;248;242m::[0m[38;2;249;38;114m*[0m[38;2;248;248;242m;[0m
6−[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
7−[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;249;38;114mcrate[0m[38;2;248;248;242m::[0m[38;2;248;248;242mless[0m[38;2;248;248;242m::[0m[38;2;248;248;242mretrieve_less_version[0m[38;2;248;248;242m;[0m
8−[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
9−[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;249;38;114mcrate[0m[38;2;248;248;242m::[0m[38;2;248;248;242mpaging[0m[38;2;248;248;242m::[0m[38;2;248;248;242mPagingMode[0m[38;2;248;248;242m;[0m
10−
11−[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mderive[0m[38;2;248;248;242m([0m[38;2;248;248;242mDebug[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
12−[38;2;249;38;114mpub[0m[38;2;248;248;242m [0m[3;38;2;102;217;239menum[0m[38;2;248;248;242m [0m[38;2;166;226;46mOutputType[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
13−[38;2;248;248;242m [0m[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
14−[38;2;248;248;242m Pager[0m[38;2;248;248;242m([0m[38;2;248;248;242mChild[0m[38;2;248;248;242m)[0m[38;2;248;248;242m,[0m
15−[38;2;248;248;242m Stdout[0m[38;2;248;248;242m([0m[38;2;248;248;242mio[0m[38;2;248;248;242m::[0m[38;2;248;248;242mStdout[0m[38;2;248;248;242m)[0m[38;2;248;248;242m,[0m
16−[38;2;248;248;242m}[0m
17−
18−[3;38;2;102;217;239mimpl[0m[38;2;248;248;242m [0m[38;2;166;226;46mOutputType[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
19−[38;2;248;248;242m [0m[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
20−[38;2;248;248;242m [0m[38;2;249;38;114mpub[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mfn[0m[38;2;248;248;242m [0m[38;2;166;226;46mfrom_mode[0m[38;2;248;248;242m([0m[3;38;2;253;151;31mmode[0m[38;2;248;248;242m:[0m[38;2;248;248;242m PagingMode, [0m[3;38;2;253;151;31mpager[0m[38;2;248;248;242m:[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mOption[0m[38;2;248;248;242m<[0m[38;2;249;38;114m&[0m[3;38;2;102;217;239mstr[0m[38;2;248;248;242m>[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m->[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mResult[0m[38;2;248;248;242m<[0m[3;38;2;102;217;239mSelf[0m[38;2;248;248;242m>[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
21−[38;2;248;248;242m [0m[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;255;255;255mself[0m[38;2;248;248;242m::[0m[38;2;248;248;242mPagingMode[0m[38;2;248;248;242m::[0m[38;2;249;38;114m*[0m[38;2;248;248;242m;[0m
22−[38;2;248;248;242m [0m[3;38;2;166;226;46mOk[0m[38;2;248;248;242m([0m[38;2;249;38;114mmatch[0m[38;2;248;248;242m mode [0m[38;2;248;248;242m{[0m
23−[38;2;248;248;242m Always [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mtry_pager[0m[38;2;248;248;242m([0m[38;2;190;132;255mfalse[0m[38;2;248;248;242m,[0m[38;2;248;248;242m pager[0m[38;2;248;248;242m)[0m[38;2;249;38;114m?[0m[38;2;248;248;242m,[0m
24−[38;2;248;248;242m QuitIfOneScreen [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mtry_pager[0m[38;2;248;248;242m([0m[38;2;190;132;255mtrue[0m[38;2;248;248;242m,[0m[38;2;248;248;242m pager[0m[38;2;248;248;242m)[0m[38;2;249;38;114m?[0m[38;2;248;248;242m,[0m
25−[38;2;248;248;242m [0m[38;2;249;38;114m_[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mstdout[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m,[0m
26−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m[38;2;248;248;242m)[0m
27−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
28−
29−[38;2;248;248;242m [0m[38;2;117;113;94m///[0m[38;2;117;113;94m Try to launch the pager. Fall back to stdout in case of errors.[0m
30−[38;2;248;248;242m [0m[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
31−[38;2;248;248;242m [0m[3;38;2;102;217;239mfn[0m[38;2;248;248;242m [0m[38;2;166;226;46mtry_pager[0m[38;2;248;248;242m([0m[3;38;2;253;151;31mquit_if_one_screen[0m[38;2;248;248;242m:[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mbool[0m[38;2;248;248;242m, [0m[3;38;2;253;151;31mpager_from_config[0m[38;2;248;248;242m:[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mOption[0m[38;2;248;248;242m<[0m[38;2;249;38;114m&[0m[3;38;2;102;217;239mstr[0m[38;2;248;248;242m>[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m->[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mResult[0m[38;2;248;248;242m<[0m[3;38;2;102;217;239mSelf[0m[38;2;248;248;242m>[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
32−[38;2;248;248;242m [0m[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;248;248;242mstd[0m[38;2;248;248;242m::[0m[38;2;248;248;242menv[0m[38;2;248;248;242m;[0m
33−[38;2;248;248;242m [0m[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;248;248;242mstd[0m[38;2;248;248;242m::[0m[38;2;248;248;242mffi[0m[38;2;248;248;242m::[0m[38;2;248;248;242mOsString[0m[38;2;248;248;242m;[0m
34−[38;2;248;248;242m [0m[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;248;248;242mstd[0m[38;2;248;248;242m::[0m[38;2;248;248;242mpath[0m[38;2;248;248;242m::[0m[38;2;248;248;242mPathBuf[0m[38;2;248;248;242m;[0m
35−[38;2;248;248;242m [0m[38;2;249;38;114muse[0m[38;2;248;248;242m [0m[38;2;248;248;242mstd[0m[38;2;248;248;242m::[0m[38;2;248;248;242mprocess[0m[38;2;248;248;242m::[0m[38;2;248;248;242m{[0m[38;2;248;248;242mCommand[0m[38;2;248;248;242m,[0m[38;2;248;248;242m Stdio[0m[38;2;248;248;242m}[0m[38;2;248;248;242m;[0m
36−
37−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m replace_arguments_to_less [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255mfalse[0m[38;2;248;248;242m;[0m
38−
39−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m pager_from_env [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;249;38;114mmatch[0m[38;2;248;248;242m [0m[38;2;248;248;242m([0m[38;2;248;248;242menv[0m[38;2;248;248;242m::[0m[38;2;248;248;242mvar[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116mBAT_PAGER[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m,[0m[38;2;248;248;242m [0m[38;2;248;248;242menv[0m[38;2;248;248;242m::[0m[38;2;248;248;242mvar[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116mPAGER[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
40−[38;2;248;248;242m [0m[38;2;248;248;242m([0m[3;38;2;166;226;46mOk[0m[38;2;248;248;242m([0m[38;2;248;248;242mbat_pager[0m[38;2;248;248;242m)[0m[38;2;248;248;242m,[0m[38;2;248;248;242m [0m[38;2;249;38;114m_[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mSome[0m[38;2;248;248;242m([0m[38;2;248;248;242mbat_pager[0m[38;2;248;248;242m)[0m[38;2;248;248;242m,[0m
41−[38;2;248;248;242m [0m[38;2;248;248;242m([0m[38;2;249;38;114m_[0m[38;2;248;248;242m,[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mOk[0m[38;2;248;248;242m([0m[38;2;248;248;242mpager[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
42−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m less needs to be called with the '-R' option in order to properly interpret the[0m
43−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m ANSI color sequences printed by bat. If someone has set PAGER="less -F", we[0m
44−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m therefore need to overwrite the arguments and add '-R'.[0m
45−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m
46−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m We only do this for PAGER (as it is not specific to 'bat'), not for BAT_PAGER[0m
47−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m or bats '--pager' command line option.[0m
48−[38;2;248;248;242m replace_arguments_to_less [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255mtrue[0m[38;2;248;248;242m;[0m
49−[38;2;248;248;242m [0m[3;38;2;166;226;46mSome[0m[38;2;248;248;242m([0m[38;2;248;248;242mpager[0m[38;2;248;248;242m)[0m
50−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
51−[38;2;248;248;242m [0m[38;2;249;38;114m_[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mNone[0m[38;2;248;248;242m,[0m
52−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m[38;2;248;248;242m;[0m
53−
54−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m pager_from_config [0m[38;2;249;38;114m=[0m[38;2;248;248;242m pager_from_config[0m[38;2;248;248;242m.[0m[38;2;102;217;239mmap[0m[38;2;248;248;242m([0m[38;2;248;248;242m|[0m[3;38;2;253;151;31mp[0m[38;2;248;248;242m|[0m[38;2;248;248;242m [0m[38;2;248;248;242mp[0m[38;2;248;248;242m.[0m[38;2;102;217;239mto_string[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
55−
56−[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m pager_from_config[0m[38;2;248;248;242m.[0m[38;2;102;217;239mis_some[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
57−[38;2;248;248;242m replace_arguments_to_less [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;190;132;255mfalse[0m[38;2;248;248;242m;[0m
58−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
59−
60−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m pager [0m[38;2;249;38;114m=[0m[38;2;248;248;242m pager_from_config[0m
61−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239mor[0m[38;2;248;248;242m([0m[38;2;248;248;242mpager_from_env[0m[38;2;248;248;242m)[0m
62−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239munwrap_or_else[0m[38;2;248;248;242m([0m[38;2;248;248;242m|[0m[38;2;248;248;242m|[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mString[0m[38;2;248;248;242m::[0m[38;2;248;248;242mfrom[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116mless[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
63−
64−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m pagerflags [0m[38;2;249;38;114m=[0m
65−[38;2;248;248;242m [0m[38;2;248;248;242mshell_words[0m[38;2;248;248;242m::[0m[38;2;248;248;242msplit[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[38;2;248;248;242mpager[0m[38;2;248;248;242m)[0m[38;2;248;248;242m.[0m[38;2;102;217;239mchain_err[0m[38;2;248;248;242m([0m[38;2;248;248;242m|[0m[38;2;248;248;242m|[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mCould not parse pager command.[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;249;38;114m?[0m[38;2;248;248;242m;[0m
66−
67−[38;2;248;248;242m [0m[38;2;249;38;114mmatch[0m[38;2;248;248;242m pagerflags[0m[38;2;248;248;242m.[0m[38;2;102;217;239msplit_first[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
68−[38;2;248;248;242m [0m[3;38;2;166;226;46mSome[0m[38;2;248;248;242m([0m[38;2;248;248;242m([0m[38;2;248;248;242mpager_name[0m[38;2;248;248;242m,[0m[38;2;248;248;242m args[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
69−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m pager_path [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242mPathBuf[0m[38;2;248;248;242m::[0m[38;2;248;248;242mfrom[0m[38;2;248;248;242m([0m[38;2;248;248;242mpager_name[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
70−
71−[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m pager_path[0m[38;2;248;248;242m.[0m[38;2;102;217;239mfile_stem[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m==[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mSome[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[38;2;248;248;242mOsString[0m[38;2;248;248;242m::[0m[38;2;248;248;242mfrom[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116mbat[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
72−[38;2;248;248;242m pager_path [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242mPathBuf[0m[38;2;248;248;242m::[0m[38;2;248;248;242mfrom[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116mless[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
73−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
74−
75−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m is_less [0m[38;2;249;38;114m=[0m[38;2;248;248;242m pager_path[0m[38;2;248;248;242m.[0m[38;2;102;217;239mfile_stem[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m==[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mSome[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[38;2;248;248;242mOsString[0m[38;2;248;248;242m::[0m[38;2;248;248;242mfrom[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116mless[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
76−
77−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m process [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m is_less [0m[38;2;248;248;242m{[0m
78−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m p [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242mCommand[0m[38;2;248;248;242m::[0m[38;2;248;248;242mnew[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[38;2;248;248;242mpager_path[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
79−[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m args[0m[38;2;248;248;242m.[0m[38;2;102;217;239mis_empty[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m||[0m[38;2;248;248;242m replace_arguments_to_less [0m[38;2;248;248;242m{[0m
80−[38;2;248;248;242m p[0m[38;2;248;248;242m.[0m[38;2;102;217;239marg[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116m--RAW-CONTROL-CHARS[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
81−[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m quit_if_one_screen [0m[38;2;248;248;242m{[0m
82−[38;2;248;248;242m p[0m[38;2;248;248;242m.[0m[38;2;102;217;239marg[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116m--quit-if-one-screen[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
83−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
84−
85−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m Passing '--no-init' fixes a bug with '--quit-if-one-screen' in older[0m
86−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m versions of 'less'. Unfortunately, it also breaks mouse-wheel support.[0m
87−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m
88−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m See: http://www.greenwoodsoftware.com/less/news.530.html[0m
89−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m
90−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m For newer versions (530 or 558 on Windows), we omit '--no-init' as it[0m
91−[38;2;248;248;242m [0m[38;2;117;113;94m//[0m[38;2;117;113;94m is not needed anymore.[0m
92−[38;2;248;248;242m [0m[38;2;249;38;114mmatch[0m[38;2;248;248;242m [0m[38;2;102;217;239mretrieve_less_version[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
93−[38;2;248;248;242m [0m[3;38;2;166;226;46mNone[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
94−[38;2;248;248;242m p[0m[38;2;248;248;242m.[0m[38;2;102;217;239marg[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116m--no-init[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
95−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
96−[38;2;248;248;242m [0m[3;38;2;166;226;46mSome[0m[38;2;248;248;242m([0m[38;2;248;248;242mversion[0m[38;2;248;248;242m)[0m
97−[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m [0m[38;2;248;248;242m([0m[38;2;248;248;242mversion [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m530[0m[38;2;248;248;242m [0m[38;2;249;38;114m||[0m[38;2;248;248;242m [0m[38;2;248;248;242m([0m[38;2;248;248;242mcfg![0m[38;2;248;248;242m([0m[38;2;248;248;242mwindows[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m&&[0m[38;2;248;248;242m version [0m[38;2;249;38;114m<[0m[38;2;248;248;242m [0m[38;2;190;132;255m558[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m
98−[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
99−[38;2;248;248;242m p[0m[38;2;248;248;242m.[0m[38;2;102;217;239marg[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116m--no-init[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
100−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
101−[38;2;248;248;242m [0m[38;2;249;38;114m_[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m[38;2;248;248;242m}[0m
102−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
103−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m[38;2;248;248;242m [0m[38;2;249;38;114melse[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
104−[38;2;248;248;242m p[0m[38;2;248;248;242m.[0m[38;2;102;217;239margs[0m[38;2;248;248;242m([0m[38;2;248;248;242margs[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
105−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
106−[38;2;248;248;242m p[0m[38;2;248;248;242m.[0m[38;2;102;217;239menv[0m[38;2;248;248;242m([0m[38;2;230;219;116m"[0m[38;2;230;219;116mLESSCHARSET[0m[38;2;230;219;116m"[0m[38;2;248;248;242m,[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mUTF-8[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
107−[38;2;248;248;242m p[0m
108−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m[38;2;248;248;242m [0m[38;2;249;38;114melse[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
109−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m p [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;248;248;242mCommand[0m[38;2;248;248;242m::[0m[38;2;248;248;242mnew[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[38;2;248;248;242mpager_path[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
110−[38;2;248;248;242m p[0m[38;2;248;248;242m.[0m[38;2;102;217;239margs[0m[38;2;248;248;242m([0m[38;2;248;248;242margs[0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
111−[38;2;248;248;242m p[0m
112−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m[38;2;248;248;242m;[0m
113−
114−[38;2;248;248;242m [0m[3;38;2;166;226;46mOk[0m[38;2;248;248;242m([0m[38;2;248;248;242mprocess[0m
115−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239mstdin[0m[38;2;248;248;242m([0m[38;2;248;248;242mStdio[0m[38;2;248;248;242m::[0m[38;2;248;248;242mpiped[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m
116−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239mspawn[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m
117−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239mmap[0m[38;2;248;248;242m([0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mPager[0m[38;2;248;248;242m)[0m
118−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239munwrap_or_else[0m[38;2;248;248;242m([0m[38;2;248;248;242m|[0m[38;2;248;248;242m_[0m[38;2;248;248;242m|[0m[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mstdout[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m
119−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
120−[38;2;248;248;242m [0m[3;38;2;166;226;46mNone[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mOk[0m[38;2;248;248;242m([0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mstdout[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m,[0m
121−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
122−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
123−
124−[38;2;248;248;242m [0m[38;2;249;38;114mpub[0m[38;2;248;248;242m([0m[38;2;249;38;114mcrate[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mfn[0m[38;2;248;248;242m [0m[38;2;166;226;46mstdout[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m->[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mSelf[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
125−[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mStdout[0m[38;2;248;248;242m([0m[38;2;248;248;242mio[0m[38;2;248;248;242m::[0m[38;2;248;248;242mstdout[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m
126−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
127−
128−[38;2;248;248;242m [0m[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
129−[38;2;248;248;242m [0m[38;2;249;38;114mpub[0m[38;2;248;248;242m([0m[38;2;249;38;114mcrate[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mfn[0m[38;2;248;248;242m [0m[38;2;166;226;46mis_pager[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[3;38;2;253;151;31mself[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m->[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mbool[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
130−[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mPager[0m[38;2;248;248;242m([0m[38;2;249;38;114m_[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;255;255;255mself[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
131−[38;2;248;248;242m [0m[38;2;190;132;255mtrue[0m
132−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m[38;2;248;248;242m [0m[38;2;249;38;114melse[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
133−[38;2;248;248;242m [0m[38;2;190;132;255mfalse[0m
134−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
135−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
136−
137−[38;2;248;248;242m [0m[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mnot[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
138−[38;2;248;248;242m [0m[38;2;249;38;114mpub[0m[38;2;248;248;242m([0m[38;2;249;38;114mcrate[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mfn[0m[38;2;248;248;242m [0m[38;2;166;226;46mis_pager[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[3;38;2;253;151;31mself[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m->[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mbool[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
139−[38;2;248;248;242m [0m[38;2;190;132;255mfalse[0m
140−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
141−
142−[38;2;248;248;242m [0m[38;2;249;38;114mpub[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mfn[0m[38;2;248;248;242m [0m[38;2;166;226;46mhandle[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[38;2;249;38;114mmut[0m[38;2;248;248;242m [0m[3;38;2;253;151;31mself[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m->[0m[38;2;248;248;242m [0m[3;38;2;166;226;46mResult[0m[38;2;248;248;242m<[0m[38;2;249;38;114m&[0m[38;2;249;38;114mmut[0m[38;2;248;248;242m dyn Write[0m[38;2;248;248;242m>[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
143−[38;2;248;248;242m [0m[3;38;2;166;226;46mOk[0m[38;2;248;248;242m([0m[38;2;249;38;114mmatch[0m[38;2;248;248;242m [0m[38;2;249;38;114m*[0m[38;2;255;255;255mself[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
144−[38;2;248;248;242m [0m[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
145−[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mPager[0m[38;2;248;248;242m([0m[38;2;249;38;114mref[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m command[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m command[0m
146−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;248;248;242mstdin[0m
147−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239mas_mut[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m
148−[38;2;248;248;242m [0m[38;2;248;248;242m.[0m[38;2;102;217;239mchain_err[0m[38;2;248;248;242m([0m[38;2;248;248;242m|[0m[38;2;248;248;242m|[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mCould not open stdin for pager[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;249;38;114m?[0m[38;2;248;248;242m,[0m
149−[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mStdout[0m[38;2;248;248;242m([0m[38;2;249;38;114mref[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m handle[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=>[0m[38;2;248;248;242m handle[0m[38;2;248;248;242m,[0m
150−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m[38;2;248;248;242m)[0m
151−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
152−[38;2;248;248;242m}[0m
153−
154−[38;2;248;248;242m#[0m[38;2;248;248;242m[[0m[38;2;248;248;242mcfg[0m[38;2;248;248;242m([0m[38;2;248;248;242mfeature [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;230;219;116m"[0m[38;2;230;219;116mpaging[0m[38;2;230;219;116m"[0m[38;2;248;248;242m)[0m[38;2;248;248;242m][0m
155−[3;38;2;102;217;239mimpl[0m[38;2;248;248;242m [0m[38;2;248;248;242mDrop [0m[38;2;249;38;114mfor[0m[38;2;248;248;242m [0m[38;2;166;226;46mOutputType[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
156−[38;2;248;248;242m [0m[3;38;2;102;217;239mfn[0m[38;2;248;248;242m [0m[38;2;166;226;46mdrop[0m[38;2;248;248;242m([0m[38;2;249;38;114m&[0m[38;2;249;38;114mmut[0m[38;2;248;248;242m [0m[3;38;2;253;151;31mself[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
157−[38;2;248;248;242m [0m[38;2;249;38;114mif[0m[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;248;248;242mOutputType[0m[38;2;248;248;242m::[0m[38;2;248;248;242mPager[0m[38;2;248;248;242m([0m[38;2;249;38;114mref[0m[38;2;248;248;242m [0m[38;2;249;38;114mmut[0m[38;2;248;248;242m command[0m[38;2;248;248;242m)[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m [0m[38;2;249;38;114m*[0m[38;2;255;255;255mself[0m[38;2;248;248;242m [0m[38;2;248;248;242m{[0m
158−[38;2;248;248;242m [0m[3;38;2;102;217;239mlet[0m[38;2;248;248;242m [0m[38;2;249;38;114m_[0m[38;2;248;248;242m [0m[38;2;249;38;114m=[0m[38;2;248;248;242m command[0m[38;2;248;248;242m.[0m[38;2;102;217;239mwait[0m[38;2;248;248;242m([0m[38;2;248;248;242m)[0m[38;2;248;248;242m;[0m
159−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
160−[38;2;248;248;242m [0m[38;2;248;248;242m}[0m
161−[38;2;248;248;242m}[0m