Previous: n-command Up: ../info.html Next: p-command


 The "#" command can be used to alter the default page size for the INFO
 screen display.  It is  followed by a  decimal digit string  specifying
 the number of lines on  the screen (e.g. #20);  if the digit string  is
 omitted, the page size will revert to its default value.

 On some hosts, RDINFO may be able  to obtain your screen size from  the
 operating system.  Otherwise it will  default to 22 lines.  Since  most
 terminal screens  support  24  lines,  the  carriage  return  you  type
 following your  command  line should  still  not cause  the  screen  to
 scroll, although if you make many errors, it will.

 RDINFO assumes that all  displays can show at  least 72 characters  per
 line;  if  the  display  cannot  show   this  many,  then  if  it   can
 automatically wrap long lines, or  the operating system can cause  this
 to happen, the text should be  readable.  All INFO files are  formatted
 to have up to 72 characters per line, so you are presently out of  luck
 if your terminal cannot show that many properly.

 The display uses  up to 4  lines for header  lines, so a  minimum of  5
 lines are needed if text from the INFO file is to be displayed.  If you
 try to  specify fewer  then  5 lines,  the  request will  therefore  be
 ignored.  Similarly, it you  try to specify a  number larger than  255,
 RDINFO will  assume  you  made  a  mistake,  and  ignore  the  request;
 otherwise the volume of data  displayed would probably just scroll  out
 of view anyway, and would not give you a chance to enter a new  command
 until the display was complete.

 Unless you have a non-standard terminal screen size, it will usually be
 unnecessary to change the screen size.   However, if you are using  the
 "S" (search)  command on  a slow  terminal, it  will save  time if  you
 decrease the screen display size until you have located the section you
 are looking for.