build-*-toolbox: Set host name to distro-version
authorMartin Pitt <martin@piware.de>
Fri, 13 Mar 2020 07:18:00 +0000 (08:18 +0100)
committerMartin Pitt <martin@piware.de>
Fri, 13 Mar 2020 07:18:40 +0000 (08:18 +0100)
commitdaff02a49e7b1c099d9f105f4f30a68195cfffa2
tree75eef3ad23d7470e3265bdaf245f435520943e9a
parent2b6b0bf80b022c560c3cdcae42c9ddb2c140ac01
build-*-toolbox: Set host name to distro-version

So that the hostname shell prompt shows which toolbox I'm in.
build-debian-toolbox
build-devtoolbox