handle tera usernames more gracefully

This commit is contained in:
bracker 2021-06-18 21:11:14 -05:00
parent cd7d403f92
commit 34f17b90ea
2 changed files with 9 additions and 6 deletions

2
.gitignore vendored
View File

@ -24,4 +24,4 @@ testsBP/*/*/*.elf*
testsBP/*/OBJ/*
testsBP/*/*.a
wally-pipelined/linux-testgen/linux-testvectors/*
!wally-pipelined/linux-testgen/linux-testvectors/tvCopierTemplate.py
!wally-pipelined/linux-testgen/linux-testvectors/tvCopier.py

View File

@ -3,11 +3,14 @@
import os
from datetime import datetime
tera = '<your username>@tera.eng.hmc.edu'
print("SORRY")
print("This script will fail because you have not set the \'tera\' var to your username")
print("Please make a copy called tvCopier.py")
exit()
if not os.path.isfile('sshUname.txt'):
print("GREETINGS FRIEND")
print("Please supply your tera username in ./sshUname.txt")
exit(1)
sshUnameFile = open('sshUname.txt','r')
uname = sshUnameFile.readline().strip('\n')
tera = uname+'@tera.eng.hmc.edu'
logFile = open('tvCopier.log', 'w')
def pyTee(line):