From e13a5a4b88a014d3f407662e70ebb6bb751e75a6 Mon Sep 17 00:00:00 2001 From: Jacob Babor Date: Fri, 15 Apr 2022 22:10:00 -0500 Subject: [PATCH] Just use /etc/hostname all the time, please --- base/.profile | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/base/.profile b/base/.profile index 82b181e9..6db2c8c1 100755 --- a/base/.profile +++ b/base/.profile @@ -328,12 +328,8 @@ _ps1bash() { # Add hostname prefix in SSH sessions unset _prefix - # Get the system hostname, using a util if one's available - if command -v hostname; then - _hostname="$(hostname -s)" - else - _hostname="$(