I sometimes got quite confused as both my university and hall of residence both had gateways named 'bifrost', 'heimdal' and servers 'thor', 'loke', etc. (I end

I sometimes got quite confused as both my university and hall of residence both had gateways named 'bifrost', 'heimdal' and servers 'thor', 'loke', etc. (I ended up setting different terminal prompts depending on which domain the current machine was under.)