changeset 6717:62edae7d3380

<zgrep> ` echo \'with open(a,\'r\')as f:print f.read(),\' >> bin/tomfoolery
author HackBot
date Wed, 10 Feb 2016 02:58:01 +0000
parents e862c2b6c6db
children b87d0fe828dd
files bin/tomfoolery
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/bin/tomfoolery	Wed Feb 10 02:57:57 2016 +0000
+++ b/bin/tomfoolery	Wed Feb 10 02:58:01 2016 +0000
@@ -6,3 +6,4 @@
 a=s.argv[1];o.chdir(t)
 if not o.path.isfile(a):print u.check_output(["?",a]),;exit()
 if o.access(a, o.X_OK):print u.check_output([bash,a]),;exit()
+with open(a,r)as f:print f.read(),