JM プロジェクトは、主に Linux 関連のマニュアルページの日本語ページを翻訳・公開しています。
... ある。このファイル名は `logfile' コマンドで変更できる。 パラメータを与えなかった場合には、ログ出力の状態がトグルされる。 前のセッションログのファイルがあれば、 セッションログはこのファイルに追加される。現在の内容と スクロールバック履歴の内容はセッションログには含 ... ... '<' 再生速度を半分に下げる。 '>' 再生速度を倍にする。 オプションとして以下のものが使用できる。 -d dir , --directory = dir セッションログは、デフォルトの /var/log/sudo-io ではなく、 dir にある。 -f filter , --filter = filter 再生する I/O タイプを選択する。 デフ ... do.conf デバッグ用枠組みの設定 /var/log/sudo-io 入出力ログを格納するデフォルトのディレクトリ /var/log/sudo-io/00/00/01/log セッションログについての情報 (一例) /var/log/sudo-io/00/00/01/stdin セッションの標準入力のログ (一例) /var/log/sudo-io/00/00/01/stdout セッ ... ... 言語の要件 (例えば、識別子の名前) などで別の表記をする場合はこの限りではない。 .SS Unicode under Linux 構造体の定義、シェルのセッションログなどの字下げ、など When structure definitions, shell session logs, and so on are included in running text, indent them by 4 ... 説明文がシェルセッションのログを含む場合は必ずこのようにすること。 プログラムの使い方や他のシステムの特徴を示すためにシェルのセッションログを含める場合、 * セッションログをソースコードの前に置くこと * セッションログをスペース 4 つで字下げすること * ユーザーの入力 ... ... 避けるために、ECHO は抑止され、標準入力が端末でないならば (たとえば、 echo date | script のように、標準入力がパイプの場合)、 セッションログに入力の記録漏れが起きないように、ECHO は有効になる。 -e , --return 子プロセスの終了ステータスを返す (訳注: 詳しく言うと、 s ... 日本語の文書やマニュアルを配布している個人/プロジェクトへのリンクです。