From 7bb1affa075713e365794245968cd2cafeb826a3 Mon Sep 17 00:00:00 2001 From: Dennis Date: Mon, 11 Jun 2018 20:24:08 +0000 Subject: [PATCH] added Thing --- usr/share/tio.run/languages.json | 22 ++++++++++++++++++++++ wrappers/thing | 3 +++ 2 files changed, 25 insertions(+) create mode 100755 wrappers/thing diff --git a/usr/share/tio.run/languages.json b/usr/share/tio.run/languages.json index 51a9735..c082182 100644 --- a/usr/share/tio.run/languages.json +++ b/usr/share/tio.run/languages.json @@ -10608,6 +10608,28 @@ }, "update": "git" }, + "thing": { + "categories": [ + "recreational" + ], + "encoding": "UTF-8", + "link": "https://gitlab.com/gnu-nobody/Thinglang", + "name": "Thing", + "tests": { + "helloWorld": { + "request": [ + { + "command": "F", + "payload": { + ".code.tio": "\\!\\d\\l\\r\\o\\W48*c\\,\\o\\ld\\e\\H++++++++++++" + } + } + ], + "response": "Hello, World!" + } + }, + "update": "git" + }, "threead": { "categories": [ "recreational" diff --git a/wrappers/thing b/wrappers/thing new file mode 100755 index 0000000..97c8d79 --- /dev/null +++ b/wrappers/thing @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +python3 /opt/thing/thing.py "$(<.code.tio)" 0 "$@" < .input.tio