# HG changeset patch
# User HackBot
# Date 1471490021 0
# Node ID be5cbf1a3f17c4554815e95d66bae616d209ce61
# Parent  ca947af2d51748ad9193ff3b23c58bce8c28f8fd
<oerjan> ` hg cat -r 8929 bin/bf >bin/bf

diff -r ca947af2d517 -r be5cbf1a3f17 bin/bf
--- a/bin/bf	Thu Aug 18 02:45:18 2016 +0000
+++ b/bin/bf	Thu Aug 18 03:13:41 2016 +0000
@@ -1,6 +1,4 @@
-#!/bin/bash
+#! /bin/bash
 [[ $# > 0 ]] || { echo "Run what?"; exit 1; }
 ci="$*"
-echo "${ci%%!*}"
-echo "${ci#*!}"
-echo -n "${ci#*!}" | cat -- <(echo -n "${ci%%!*}")
+echo -n "${ci#*!}" | /hackenv/interps/egobf/src/egobfi8 <(echo -n "${ci%%!*}")