Merge pull request #79 from HexF/patch-1

Disable color output for deno
Merge pull request #124 from TitouanT/prolog_main
2021-02-23 22:24:14 -06:00 · 2021-02-23 22:23:59 -06:00 · 2021-02-23 22:23:31 -06:00 · 2021-02-23 19:43:26 -08:00 · 2021-02-23 10:43:44 +01:00 · 2021-02-08 20:05:14 +13:00
3 changed files with 7 additions and 2 deletions
--- a/lxc/executors/deno
+++ b/lxc/executors/deno
@ -1,4 +1,4 @@
 #!/bin/bash

 cd /tmp/$1
-timeout -s KILL 3 xargs -a args.args -d '\n' deno run code.code < stdin.stdin
+timeout -s KILL 3 xargs -a args.args -d '\n' NO_COLOR=true deno run code.code < stdin.stdin
--- a/lxc/executors/prolog
+++ b/lxc/executors/prolog
@ -5,4 +5,9 @@ cd /tmp/$1
 sed 's/^.*$/:- forall((Goal = (\0), call(Goal)), (write(Goal), nl))./' stdin.stdin |
    cat code.code - > code.pl

+if [ -s args.args ]
+then
+    echo ":- main($(jq --raw-input -c --slurp 'split("\n")' args.args))." >> code.pl
+fi
+
 timeout -s KILL 3 swipl -g true -t halt code.pl
--- a/lxc/executors/scala
+++ b/lxc/executors/scala
@ -2,4 +2,4 @@

 cd /tmp/$1
 cp code.code interim.scala
-timeout -s KILL 10 xargs -a args.args -d '\n' scala interim.scala < stdin.stdin
+timeout -s KILL 10 xargs -a args.args -d '\n' scala -color never interim.scala < stdin.stdin
Author	SHA1	Message	Date
Brian Seymour	46edb3b478	Merge pull request #79 from HexF/patch-1 Disable color output for deno	2021-02-23 22:24:14 -06:00
Brian Seymour	e7d2cd5f0e	Merge pull request #124 from TitouanT/prolog_main call main\1 predicate with arguments list if any	2021-02-23 22:23:59 -06:00
Brian Seymour	f5a9cacceb	Merge pull request #125 from Sirius902/master Disable color output for scala	2021-02-23 22:23:31 -06:00
Sirius902	2ad9829fc6	Disable color output for scala	2021-02-23 19:43:26 -08:00
TitouanT	1305dc9e3f	call main\1 predicate with arguments list if any	2021-02-23 10:43:44 +01:00
Thomas	295e73d4d9	Disable color output for deno By default Deno has color output, we don't need this - and it also makes challenges on emkc.org not give the correct results.	2021-02-08 20:05:14 +13:00