[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[plamo:04114] timeマニュアルはここにある
-
From:Masao Mori / 森 雅生
-
Date:Sun, 10 Oct 1999 15:49:58 +0900
- Subject: [plamo:04114] timeマニュアルはここにある
- From: Masao Mori / 森 雅生<masa@xxxxxxxxxxxxxxxx>
- Date: Sun, 10 Oct 1999 15:49:58 +0900
- Posted: Sat, 09 Oct 1999 15:02:11 +0900
森@福岡「久しぶりの投稿」です。
+---------------------------------------
| Sun, 10 Oct 1999 15:12:36 +0900 に
| メッセージ「[plamo:04113] Re: /usr/bin/timeのmanはどこにありますか」で
| Jun Kuwamura <juk@rccm.co.jp> さんは以下の様に述べています:
+---------------------------------------
juk> >/usr/bin/time の使い方を調べようと man time とすると,TIME(2) の man が
juk> >表示されます.
juk>
juk> Plamo1.4.x ですが、私のところもそうなります。/usr/man/
juk> 以下に time.? というのは Tcl の time.n 以外にありませんでした。
juk> C-shell の場合はシェル組み込みコマンドですね。
コマンドwhatisでtimeのマニュアルエントリをみてみます。
以下の例はPlamo 1.4(か3だったか)です。
time (2) - 秒単位の時間を得る
Time::Local (3) - efficiently compute time from local and GMT time
Time::gmtime (3) - by-name interface to Perl's built-in gmtime() function
Time::localtime (3) - by-name interface to Perl's built-in localtime() function
Time::tm (3) - internal object used by Time::gmtime and Time::localtime
time (2) - get time in seconds
time (n) - Time the execution of a script
どれも所望のマニュアルとは違うので/var/log/packagesで/usr/bin/timeがど
のパッケージにはいっていたか確認します。
$ cd /var/log/packages
$ grep 'usr/bin/time' *
basebin:usr/bin/time
expect5b:usr/bin/timed-run
expect5b:usr/bin/timed-read
basebinパッケージにはいってますねぇ。ここでこのパッケージのログを
眺めてみると
…
usr/info/gawk.info.gz
usr/info/sharutils.info.gz
usr/info/time.info.gz ← ぴんぽん!
usr/info/tput.info.gz
…
infoファイルがあるです! /usr/info/dirに登録されているかどうか
確認して、なければ次の行を適当なところに挿入。
* time: (time.info). TIME.
Emacs(mule)かinfoコマンドで閲覧できます。これでいいですか?
-----------------------------------------------------------------------
森 雅生 [Project ω+1] gertrude@mtg.biglobe.ne.jp
落丁メール・乱丁メールはお取り替え致しません。
-----------------------------------------------------------------------
Finger print= 43 E0 2B 79 41 A4 8E 39 37 09 A7 61 99 0E C2 7B
-----------------------------------------------------------------------
- Follow-Ups
-
- [plamo:04115] Re: timeマニュアルはここにある, caj64520
- References
-
- [plamo:04113] Re: /usr/bin/time のman はどこにありますか, Jun Kuwamura
[検索ページ]
[メール一覧]
Plamo ML 公開システム