hostname = machine_name + ".mit.edu"
ip = socket.gethostbyname(hostname)
- source_server = "cats-whiskers.mit.edu" # hard-coded
+ source_server = "shining-armor.mit.edu" # hard-coded
source_ip = re.sub('^18.181.0.', '172.21.0.', socket.gethostbyname(source_server))
# generate the kickstart file