Project

General

Profile

Bug #10585

Non-standard definition of $PAGER in /etc/profile

Added by Hubert Garavel about 2 months ago. Updated 3 days ago.

Status:
Feedback
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
2019-03-25
Due date:
% Done:

0%

Estimated time:
Difficulty:
Medium
Tags:

Description

File /etc/profile contains the following definition:

  PAGER="/usr/bin/less -ins" 

Such replacement of "more" by "less -ins" is not standard. It modifies the behaviour
of the command, since the user must type a key to exit the pager.

Such a redefinition cannot be found on other systems, such as Solaris or Debian Linux.

I suggest to remove this system-wide definition of $PAGER, and let the users set
$PAGER according to their own preferences.

History

#1

Updated by Michal Nowak 3 days ago

  • Tags deleted (needs-triage)
  • Status changed from New to Feedback

I believe PAGER is set like this to satisfy man(1) needs. Unless PAGER is set more -s is used (which is horrible in my mind).

None of those options makes less to be quited by q, I believe that's how less works everywhere:

-i or --ignore-case
       Causes searches to ignore case
-n or --line-numbers
       Suppresses line numbers.
-s or --squeeze-blank-lines
       Causes consecutive blank lines to be squeezed into a single
       blank line.  This is useful when viewing nroff output.

I believe user is still able to set PAGER however they wishes in their shell profile.

I am inclined to keep things as-is.

Also available in: Atom PDF