log

age author description
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
Tue, 16 Jul 2019 21:37:27 +0000 HackEso <b_jonas> python3 -cimport os,zipfile; os.chdir("ibin/brachylog"); zipfile.ZipFile("master.zip").extractall() draft
Tue, 16 Jul 2019 21:36:58 +0000 HackEso <ais523> ` sed -i -e \'s/unzip(shift)/unzip(@_)/\' bin/unzip draft