Fragen zum Manual- bzw. Info-Browser (man bzw. info)

14/11/2007 - 21:26 von Thomas Wiedmann | Report spam
Hallo,

zum Manual- bzw. Info-Browser (man bzw. info) hab ich ein paar Fragen:

Wenn ich eine (größere) man page, z. B. man bash, aufrufe und dort mit dem
Befehlsmuster "/searchpattern" nach einem bestimmten Begriff, z. B.
"Parameter Expansion", suche, erhalte ich sàmtliche Fundstellen ohne
Berücksichtigung von Groß- und Kleinschreibung. Wie kann man bei "man" bzw.
"info" erreichen, daß die Suche case-sensitiv verlàuft, d. h. Groß- und
Kleinschreibung berücksichtigt wird?

Gibt es eine Befehlsoption von man (bzw. info), mit der man eine (größere)
man page, z. B. man bash, direkt mit einem Suchbegriff öffnet, so daß die
betr. man bzw. info page sofort zur 1. Fundstelle springt; falls ja, wie
lautet diese Befehlsoption?

Gibt es eine Befehlsoption von man (bzw. info), mit der man eine (größere)
man page, z. B. man bash, direkt mit einer Zeilennummer öffnet, so daß die
betr. man bzw. info page sofort zur angegebenen Zeilennummer springt; falls
ja, wie lautet diese Befehlsoption?

Kann man den Inhalt einer "info page" in eine Textdatei exportieren; falls
ja, mit welchem Befehl?

Danke für alle guten Tips.


Thomas Wiedmann
 

Lesen sie die antworten

#1 Helmut Waitzmann
15/11/2007 - 01:18 | Warnen spam
"Thomas Wiedmann" writes:

zum Manual- bzw. Info-Browser (man bzw. info) hab ich ein paar Fragen:

Wenn ich eine (größere) man page, z. B. man bash, aufrufe und dort mit dem
Befehlsmuster "/searchpattern" nach einem bestimmten Begriff,
z. B. "Parameter Expansion", suche, erhalte ich sàmtliche Fundstellen ohne
Berücksichtigung von Groß- und Kleinschreibung. Wie kann man bei "man"
bzw. "info" erreichen, daß die Suche case-sensitiv verlàuft, d. h. Groß-
und Kleinschreibung berücksichtigt wird?



Da Du offensichtlicht Manual-Pages verwendest, empfehle ich Dir

$ man 1 man

Das liefert u.a.:

DEFAULTS
[...]
Once a manual page has been located, [...] this [...]
file is [...] displayed,
via use of a pager. 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).
[...]
OPTIONS
[...]
-P pager, --pager=pager
Specify which output pager to use. By default, man uses
/usr/bin/pager -s. This option overrides the $PAGER
environment variable and is not used in conjunction with
-f or -k.
[...]
ENVIRONMENT
[...]
PAGER If $PAGER is set, its value is used as the name of the
program used to display the manual page. By default,
/usr/bin/pager -s is used.

Langer Rede kurzer Sinn: »man« verwendet zum Anzeigen ein sogenanntes
Pager-Programm. Welches das ist, kann man wie oben beschrieben
festlegen.

Deine folgenden Fragen müssten dann also mit Hilfe des Manual-Pages des
von Dir festgelegten Pager-Programms zu beantworten sein.

Gibt es eine Befehlsoption von man (bzw. info), mit der man eine (größere)
man page, z. B. man bash, direkt mit einem Suchbegriff öffnet, so daß die
betr. man bzw. info page sofort zur 1. Fundstelle springt; falls ja, wie
lautet diese Befehlsoption?



Das muss das von Dir festgelegte Pager-Programm tun. »man« kann das
nicht selbst. Ob das Pager-Programm das kann, steht in seinem
Manual-Page.

Ich verwende gerne das Pager-Programm »less«. Dort gibt es den Parameter
»-p«.

Allerdings bleibt dann ein Problem: Man kann »man« nicht mitteilen, dass
es das Pager-Programm mit bestimmten Parametern starten soll. Das ist
aber auch nicht nötig, denn man kann es selbst starten, statt es »man«
tun zu lassen: »man« verzichtet darauf, ein Pager-Programm zu starten,
wenn die Ausgabe nicht auf den Bildschirm, sondern in eine Datei oder ein
Pipe geht. Dann spuckt es das Manual-Page einfach von vorne bis hinten
aus.

Und das kann man so ausnutzen:

$ man 1 bash | mein_liebstes_Pager-Programm --fang-hier-an 'Suchbegriff'

z.B.:

$ man 1 bash | less -p 'Suchbegriff'

Gibt es eine Befehlsoption von man (bzw. info), mit der man eine (größere)
man page, z. B. man bash, direkt mit einer Zeilennummer öffnet, so daß die
betr. man bzw. info page sofort zur angegebenen Zeilennummer springt; falls
ja, wie lautet diese Befehlsoption?



Auch das ist wieder eine Aufgabe für das Pager-Programm. Im
entsprechenden Manual-Page sollte es stehen.

Kann man den Inhalt einer "info page" in eine Textdatei exportieren; falls
ja, mit welchem Befehl?



$ man 1 bash > bash-Manual-Page.txt

Mit dem Programm »info« kenne ich mich nicht aus. Was sagen

$ man 1 info

und

$ info info

dazu?
Wer mir E-Mail schreiben will, stelle | When writing me e-mail, please
bitte vor meine E-Mail-Adresse meinen | precede my e-mail address with
Vor- und Nachnamen, etwa so: | my full name, like
Helmut Waitzmann , (Helmut Waitzmann)

Ähnliche fragen