~azzar1/unity/add-show-desktop-key : contents of file-tools/cat-to.py at revision 710

#!/usr/bin/python

import sys

if __name__ == "__main__":
    out = open(sys.argv[1], "wb")
    out.write(sys.stdin.read())
    out.close()

405 by drtomc Version 0 of the file manipulation tools to allow us to get the permissions right.	1	#!/usr/bin/python
	2
	3	import sys
	4
	5	if __name__ == "__main__":
	6	out = open(sys.argv[1], "wb")
	7	out.write(sys.stdin.read())
	8	out.close()