log

age author description
Tue, 16 Jul 2019 22:01:05 +0000 HackEso <b_jonas> `` cat tmp/jeval.whatis >> share/whatis draft
Tue, 16 Jul 2019 21:55:16 +0000 HackEso <ais523> ` chmod a+x ibin/brachylog draft
Tue, 16 Jul 2019 21:55:08 +0000 HackEso <ais523> ` printf \'#!/bin/sh\\necho "$1" > tmp/input.brachylog\\n(cd interps/brachylog/brachylog/Brachylog-master/src; swipl -g \'\\\'\'run_from_file("../../../../../tmp/input.brachylog", _, _), halt\'\\\'\' brachylog.pl)\' > ibin/brachylog draft
Tue, 16 Jul 2019 21:44:32 +0000 HackEso <ais523> ` ln -s ../../../../../tmp/compiled_brachylog.pl interps/brachylog/brachylog/Brachylog-master/src/compiled_brachylog.pl draft
Tue, 16 Jul 2019 21:39:11 +0000 HackEso <ais523> ` mv ibin/brachylog interps/brachylog draft
Tue, 16 Jul 2019 21:38:16 +0000 HackEso <ais523> ` rm bin/unzip draft
Tue, 16 Jul 2019 21:37:33 +0000 HackEso <ais523> ` sed -i -e \'s/unzip(@_)/unzip(@ARGV)/\' bin/unzip draft