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

#!/usr/bin/python

import sys

if __name__ == "__main__":
    inf = open(sys.argv[1], "rb")
    sys.stdout.write(inf.read())
    inf.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	inf = open(sys.argv[1], "rb")
	7	sys.stdout.write(inf.read())
	8	inf.close()