すべてのbashコマンドに関する時間とその他の情報を報告する方法は？ [コピー]

Question

私は次のことを試しました.bashrc。

echo -ne "$PS1"
while IFS= read -er line;do
    eval "time $line"
    echo -ne "$PS1"
done

これはおおよその目的を果たしますが、いくつかの注意事項があります。

プロンプトが実際に破損しています（シェルは通常、\Wプロンプトをエコーする前にプロンプトの同様のシーケンスを解釈します）。
コマンドライン編集機能が失われます（例：CTRL+は利用できません）。Lclear
他にもいくつかあります。

私はシェル機能を通してこれを選択的に有効にするのが良い妥協だと思います。

timed_commands() {
    [ "$1" = off ] && exec bash
    PS1='$ '  # Put something simple here
    while IFS= read -erp "$PS1" line;do
        eval "time $line"
    done
}

以下を使用して開閉timed_commandsします。timed_commands off

コメントをいただいた@jthillに感謝-eしますread。

Answer 1

私は次のことを試しました.bashrc。

echo -ne "$PS1"
while IFS= read -er line;do
    eval "time $line"
    echo -ne "$PS1"
done

これはおおよその目的を果たしますが、いくつかの注意事項があります。

プロンプトが実際に破損しています（シェルは通常、\Wプロンプトをエコーする前にプロンプトの同様のシーケンスを解釈します）。
コマンドライン編集機能が失われます（例：CTRL+は利用できません）。Lclear
他にもいくつかあります。

私はシェル機能を通してこれを選択的に有効にするのが良い妥協だと思います。

timed_commands() {
    [ "$1" = off ] && exec bash
    PS1='$ '  # Put something simple here
    while IFS= read -erp "$PS1" line;do
        eval "time $line"
    done
}

以下を使用して開閉timed_commandsします。timed_commands off

コメントをいただいた@jthillに感謝-eしますread。

すべてのbashコマンドに関する時間とその他の情報を報告する方法は？ [コピー]

ベストアンサー1

おすすめ記事