diff options
author | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2014-05-22 17:46:05 +0000 |
---|---|---|
committer | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2014-05-29 11:15:58 +0000 |
commit | c78f908e447c873324ef0c52ac49d3ba99eddd18 (patch) | |
tree | bcf7b47e5f75b8f48a7a28560cec6a61ae38b3de /vagrant.configure | |
parent | 64672152963409d496527e270eb199f5e3321e59 (diff) | |
download | definitions-c78f908e447c873324ef0c52ac49d3ba99eddd18.tar.gz |
Stop setting system hostname to TROVE_ID
We have hostname.configure already for setting the hostname, and
nothing in Trove (gitano, LC, etc) should care about the hostname.
They might care about the external name (i.e., TROVE_HOSTNAME),
but that's entirely orthogonal to the system hostname. And some
systems shouldn't have their system hostname set to TROVE_ID. For
example, git.baserock.org's TROVE_ID is baserock, but the system
hostname shouldn't be that (it's currently firehose1).
Diffstat (limited to 'vagrant.configure')
0 files changed, 0 insertions, 0 deletions