diff options
| author | Joerg Jaspert <joerg@debian.org> | 2014-05-08 21:19:01 +0200 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2014-05-08 21:19:01 +0200 |
| commit | 226940319a0cf52996e61e7fde4d58e766612fb7 (patch) | |
| tree | 164baa709cab7fb8595db91aef229ec197be9ece /.bash_profile | |
| parent | 6e0945b1ab346723418d46468a96b328f00c0cce (diff) | |
Ensure TRACEHOST is set in the "config" part of the script.
That avoids surprises if on ever uses a variable elsewhere, and forgets
it is set differently than all the rest (only at usage).
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions