in source/env_setup.py [0:0]
def get_hostname() -> str:
hostname_file = Path('/etc/hostname')
if hostname_file.is_file():
with open(hostname_file, 'r') as f:
contents = f.readlines()
assert len(contents) == 1
hostname = contents[0].strip()
else:
logging.warning(f'Could not find {hostname_file}. Setting hostname to None.')
hostname = None
return hostname