Apa PAGER default yang digunakan oleh halaman manual?


16

Apa standar yang PAGERdigunakan oleh halaman manual.

I, e apa program menjalankan halaman manual?

Itu terlihat seperti moreatau less. Saya yakin itu bukan morekarena moretidak mendukung mundur.


1
Sepertinya kurang lebih seperti more(atau less), saya pikir.
sampathsris

Jawaban:


20

Dari man man:

                                                  ... The pager can  be
specified  in  a number of ways, or else will fall back to a default is
used (see option -P for details). 

...
-P pager, --pager=pager
       Specify  which  output pager to use.  By default, man uses pager
       -s.  This option overrides the $MANPAGER  environment  variable,
       which  in turn overrides the $PAGER environment variable.  It is
       not used in conjunction with -f or -k.

pager( /usr/bin/pager) diatur menggunakan sistem alternatif Debian (via /etc/alternatives/pager), dan default ke less.

$ update-alternatives --display pager
pager - auto mode
  link currently points to /bin/less
/bin/less - priority 77
  slave pager.1.gz: /usr/share/man/man1/less.1.gz
/bin/more - priority 50
  slave pager.1.gz: /usr/share/man/man1/more.1.gz
/usr/bin/pg - priority 10
  slave pager.1.gz: /usr/share/man/man1/pg.1.gz
/usr/bin/w3m - priority 25
  slave pager.1.gz: /usr/share/man/man1/w3m.1.gz
Current 'best' version is '/bin/less'.

Rupanya, default khusus ini (menggunakan perintah bernama pager) adalah sifat turunan-Debian. Lihat Sistem mana yang memiliki pintasan / alias 'pager'? lebih dari pada Unix & Linux.


Terima kasih .. Saya bingung mana yang harus ditandai sebagai jawaban. Keduanya cepat dengan informasi yang baik dan dua metode yang berbeda untuk memeriksa symlink pager.
Maythux

1
@NewUSer Lempar koin. :)
muru

Selain itu saya pikir Anda dapat mengubah ini dengan MANPAGERdi lingkungan.
Ron

@Ron oh, ya. Tapi variabel itu tidak diatur secara default, AFAICT.
muru

2
@NewUSer ah, jangan. Pilih jawaban terbaik, bukan yang paling awal.
muru

16

Secara default, ini less. Sebagaimana dijelaskan dalam man man:

Pager -P, --Pager = Pager

Tentukan pager output mana yang akan digunakan. Secara default, man menggunakan pager
-s
. Opsi ini menimpa variabel lingkungan $ MANPAGER, yang pada gilirannya menimpa variabel lingkungan $ PAGER. Ini tidak digunakan bersamaan dengan -f atau -k.

Nilai tersebut bisa berupa nama perintah sederhana atau perintah dengan argumen
, dan dapat menggunakan kutipan shell (garis miring terbalik, tanda kutip tunggal, atau
tanda kutip ganda). Itu mungkin tidak menggunakan pipa untuk menghubungkan banyak
perintah; jika Anda membutuhkannya, gunakan skrip pembungkus, yang mungkin membawa file untuk ditampilkan sebagai argumen atau pada input standar.

Pada sistem berbasis Debian, termasuk Ubuntu, pageradalah symlink ke less:

$ readlink -f /usr/bin/pager 
/bin/less

Ini berarti bahwa manstandarnya pager -sadalah,, adalah less -s. Anda dapat mengubah ini dengan i) menggunakan -Popsi man; ii) pengaturan MANPAGERatau PAGERvariabel lingkungan.


Terima kasih .. Saya bingung mana yang harus ditandai sebagai jawaban. Keduanya cepat dengan informasi yang baik dan dua metode yang berbeda untuk memeriksa symlink pager.
Maythux

Maaf Teman saya sedang mempertimbangkan @muru jawaban karena dia adalah orang pertama yang menjawab .. Tapi saya berharap saya bisa memilih keduanya, Anda desrve
Maythux

1
@NewUSer jangan khawatir tentang hal itu. Baik Muru dan saya memiliki cukup perwakilan untuk membuat kami senang :) Terimalah yang mana saja yang menurut Anda menjawab pertanyaan Anda dengan lebih baik. Saya meyakinkan Anda bahwa tidak ada yang akan tersinggung.
terdon

kedua jawaban itu cukup baik. Terima kasih untuk jiwa olahragamu
Maythux

@terdon readlink -f /usr/bin/pagermenunjukkan /bin/lesstetapi ketika saya menjalankan manperintah itu terbuka di morepager. Mengapa?
alhelal
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.