log

age author description
Wed, 17 Jul 2019 22:21:25 +0000 HackEso <ais523> ` sed -i -e \'s/ARG"$/ARG$2"/\' \'bin/!\' draft
Wed, 17 Jul 2019 22:07:26 +0000 HackEso <ais523> ` sed -i -e \'s/halt/write("\\ntrue."), !, halt; write("\\nfalse."), !, halt/\' ibin/brachylog draft
Tue, 16 Jul 2019 22:09:59 +0000 HackEso <b_jonas> `` /bin/sed -i \'/^cd(8glibc/d\' share/whatis draft
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