<wib_jonas> `` f=/hackenv/bin/dateu; >$f echo $\'#!/bin/bash\\nset -e\\nif (( 1 < $# )); then echo "dateu error: too many command-line arguments. Usage: dateu datetimestring"; exit 2; fi\\nexec date -u ${1:+-d "$1"} "+%Y-%m-%d %H:%M:%S.%3N %z %Z %B %-e %A %G-W%V-%u"\'; chmod a+x "$f"

#!/bin/sh
echo "$1" > /tmp/input.brachylog
(cd ${HACKENV-/hackenv}/interps/brachylog/brachylog/Brachylog-master/src; swipl -g 'run_from_file("/tmp/input.brachylog", _, _), write("
true."), !, halt; write("
false."), !, halt' brachylog.pl)