changeset 6707:2dd82f6f2ed9

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