Mercurial > repo
log
age | author | description |
---|---|---|
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 |