Searched refs:FILE_HEADER (Results 1 – 1 of 1) sorted by relevance
18 FILE_HEADER = '#!/bin/bash\n\n' variable104 print(FILE_HEADER, file=f)