On 2017-10-02, Mattia Rizzolo wrote:
> On Sun, Oct 01, 2017 at 08:02:34PM -0700, Vagrant Cascadian wrote:
>> hostname
>
> Actually, hostname is different: you reinstalled it as odxu4a instead
> of odxu4, therefore our scripts are not going to be happy.
> Starting from
>     cp: cannot stat 'hosts/odxu4a/etc/apt/sources.list': No such file or 
> directory
> in update_jdn.
> And I foresee something else after that as well, as also several
> reproducible_* scripts checks $HOSTNAME.

Oh, I suppose I did change the local hostname, even though the public
hostname didn't really change; it didn't occur to me that that would be
disruptive to bringing it back online.


> Holger:
> I've already run init_node, so what's left to do would be to IMHO rename
> all occourrence of odxu4 to odxu4a (including dns) and then run
> update_jdn again.  Sadly I don't have the time for all of this right
> now.

I can update DNS and propose a patch for jenkins git.

It will be a shame to loose the munin history and build history in the
db...


> /me is actually happy of changing the name, finally no more mismatch
> between hostname and console :P

Yes, I wanted to name it more consistantly with the other boards.


live well,
  vagrant

Attachment: signature.asc
Description: PGP signature

Reply via email to