Fix gestione hostname

2022-09-10 12:49:22 +02:00
parent 19a0c575c1
commit 4849b54eab
8 changed files with 22 additions and 39 deletions
--- a/.profile
+++ b/.profile
@@ -5,3 +5,4 @@ if test -d $HOME/.profile.d/; then
  done
  unset profile
 fi
+