2021-01-17 16:53:46 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
2020-03-29 21:40:34 +02:00
|
|
|
cd /tmp/$2
|
2021-01-17 23:36:52 +01:00
|
|
|
timeout -s KILL 2 sed "/___code___/Q" code.code > code.stdin
|
|
|
|
timeout -s KILL 2 sed "1,/___code___/d" code.code > code.awk
|
|
|
|
timeout -s KILL 3 awk -f code.awk < code.stdin
|