関連ワード:  linux output command history to file    linux output command history    linux print command history    linux print command history to file    linux print command line history    linux print all command history    linux command line output history    linux run command from history    linux show command history