diff options
| author | Eugene Paskevich <eugene@raptor.kiev.ua> | 2014-05-06 22:09:03 +0300 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2014-05-08 10:42:52 +0200 |
| commit | 26df6757ada617f423f653e114cfacfe40e607cd (patch) | |
| tree | fbef804fad7b48afcbe66d8a598b7a27800b8734 /.bash_profile | |
| parent | 9a34477b2a53e0a634db111095139b568ff3898a (diff) | |
Revised trace file generation a bit.
- Added an option to write the date only.
- Added an option to change the hostname written into the trace file.
- Open the new temporary trace file for writing only once.
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions