我想从所有文件中删除标题，标题的行以//.
如果我想删除所有以 开头的行//，我可以执行以下操作：
sed '/^\/\//d'
但是，这不是我需要做的事情。我只需要删除文件开头的行//。
示例文件：
// This is the header
// This should be deleted
print "Hi"
// This should not be deleted
print "Hello"
预期输出：
print "Hi"
// This should not be deleted
print "Hello"
更新：如果在开头或中间有新行，则不起作用。有没有办法处理这种情况？
示例文件：
< new empty line >
// This is the header
< new empty line >
// This should be deleted
print "Hi"
// This should not be deleted
print "Hello"
预期输出：
print "Hi"
// …如何将元组附加到列表中？我正在尝试以下操作：
>>> a = []
>>> a.append(tuple((str("{0}".format(5000)))))
>>> a
[('5', '0', '0', '0')]
预期输出为：
[('5000')]
有人可以帮我解决这个问题吗？