| 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
|
| 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
|
| Tue, 16 Jul 2019 21:35:23 +0000 |
HackEso |
<ais523> ` chmod a+x bin/unzip
draft
|
| Tue, 16 Jul 2019 21:35:17 +0000 |
HackEso |
<ais523> ` mv unzip.pl bin/unzip
draft
|
| Tue, 16 Jul 2019 21:35:05 +0000 |
HackEso |
<ais523> fetch https://gist.githubusercontent.com/eqhmcow/5389877/raw/514a27c213aefb58079687e4c257b57d6ad7a39f/unzip.pl
draft
|
| Tue, 16 Jul 2019 21:32:41 +0000 |
HackEso |
<ais523> ` rm ibin/brachylog/master
draft
|
| Tue, 16 Jul 2019 21:32:12 +0000 |
HackEso |
<ais523> ` (cd ibin/brachylog; perl -MIO::Uncompress::Unzip=unzip -e \'unzip "master.zip" => "master"\')
draft
|
| Tue, 16 Jul 2019 21:27:08 +0000 |
HackEso |
<ais523> ` mv master.zip ibin/brachylog
draft
|
