don't change hostname, it doesn't work well for GUI apps under Gnome master
authorRalf Jung <post@ralfj.de>
Fri, 9 Aug 2024 09:22:55 +0000 (11:22 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 9 Aug 2024 09:22:55 +0000 (11:22 +0200)
commit97374dba716ee7954d9e267a312d2d3f50386fec
tree8cca4835614f392f869da3335196ec123d5dc8dd
parent8805de02dfd6fab4240022e3da5f0bb988de58d2
don't change hostname, it doesn't work well for GUI apps under Gnome
profiles.py