/usr/share/gap/lib/pager.gd is in gap-libs 4r6p5-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 | #############################################################################
##
#W pager.gd GAP Library Frank Lübeck
##
##
#Y Copyright (C) 2001, Lehrstuhl D für Mathematik, RWTH Aachen, Germany
#Y (C) 2001 School Math and Comp. Sci., University of St Andrews, Scotland
#Y Copyright (C) 2002 The GAP Group
##
## The files pager.g{d,i} contain the `Pager' utility. A rudimentary
## version of this was integrated in first versions of GAP's help system.
## But this utility is certainly useful for other purposes as well.
##
#############################################################################
##
#F Pager( <lines> ) . . . . . . . . . . . . display text on screen in a pager
## <#GAPDoc Label="Pager">
## <ManSection>
## <Func Name="Pager" Arg='lines'/>
##
## <Description>
## This function can be used to display a text on screen using a pager,
## i.e., the text is shown page by page.
## <P/>
## There is a default builtin pager in &GAP; which has very limited
## capabilities but should work on any system.
## <P/>
## At least on a UNIX system one should use an external pager program like
## <C>less</C> or <C>more</C>.
## &GAP; assumes that this program has a command line option <C>+nr</C>
## which starts the display of the text with line number <C>nr</C>.
## <P/>
## Which pager is used can be controlled by setting the user preference
## <C>"Pager"</C>.
## The default value is <C>"builtin"</C>
## which means that the internal pager is used.
## <P/>
## On UNIX systems you probably want to set the user preference
## <C>"Pager"</C> to the value <C>"less"</C> or <C>"more"</C>,
## you can do this for example in your <F>gap.ini</F>
## file (see <Ref Sect="sect:gap.ini"/>).
## In that case you can also tell &GAP; a list of standard options for the
## external pager, via the user preference <C>"PagerOptions"</C>.
## <P/>
## <Log><![CDATA[
## SetUserPreference( "Pager", "less" );
## SetUserPreference( "PagerOptions", ["-f","-r","-a","-i","-M","-j2"] );
## ]]></Log>
## <P/>
## The argument <A>lines</A> can have one of the following forms:
## <P/>
## <Enum>
## <Item>
## a string (i.e., lines are separated by newline characters)
## </Item>
## <Item>
## a list of strings (without newline characters)
## which are interpreted as lines of the text to be shown
## </Item>
## <Item>
## a record with component <C>lines</C> as in 1. or 2. and
## optional further components
## </Item>
## </Enum>
## <P/>
## In case 3. currently the following additional components are used:
## <P/>
## <List>
## <Mark><C>formatted</C></Mark>
## <Item>
## can be <K>false</K> or <K>true</K>.
## If set to <K>true</K> the builtin pager tries to show the text exactly
## as it is given (avoiding &GAP;'s automatic line breaking),
## </Item>
## <Mark><C>start</C></Mark>
## <Item>
## must be a positive integer.
## This is interpreted as the number of the first line shown by the pager
## (one may see the beginning of the text via back scrolling).
## </Item>
## <Mark><C>exitAtEnd</C></Mark>
## <Item>
## can be <K>false</K> or <K>true</K>.
## If set to <K>true</K> (the default), the builtin pager is terminated
## as soon as the end of the list is shown;
## otherwise entering the <B>q</B> key is necessary in order to return
## from the pager.
## </Item>
## </List>
## <P/>
## The <Ref Func="Pager"/> command is used by &GAP;'s help system for
## displaying help sections in text format.
## But, of course, it may be used for other purposes as well.
## <P/>
## <Log><![CDATA[
## gap> s6 := SymmetricGroup(6);;
## gap> words := ["This", "is", "a", "very", "stupid", "example"];;
## gap> l := List(s6, p-> Permuted(words, p));;
## gap> Pager(List(l, a-> JoinStringsWithSeparator(a," ")));;
## ]]></Log>
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareGlobalFunction("Pager");
|