def get_hostname()

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