Python в Linux: получить имя хоста в / etc / hostname

Из сценария Python я пытаюсь получить имя хоста в поле Linux.Это экземпляр Debian GNU / Linux Amazon EC2. Я установил правильное имя в / etc / hostname . Рекомендуемое решение socket.gethostname () не работает: оно показывает IP- плюс кортеж IP.

Я искал в StackOverflow, но ничего не выходит, например здесь . socket.getfqdn () еще хуже: он возвращает ip- [IP tuple] .eu-west-1.compute.internal .

Я что-то делаю не так, или нет чистого решения для получения имени хоста в / etc / hostname ? Конечно, резервное решение - это прочитать сам файл etc / hostname , но что-то настолько зависящее от платформы, как-то слишком ненадежно. Спасибо!