# HG changeset patch
# User HackBot
# Date 1471494095 0
# Node ID 7e7de7fcbe4176de32d166a8a1a41a6f91c16ca0
# Parent  d58a6b17c660f6f89844669af9838bb02437b170
<oerjan> sled bin/bf//$s,[|] \\(.*\\),| { \\1 ; },

diff -r d58a6b17c660 -r 7e7de7fcbe41 bin/bf
--- a/bin/bf	Thu Aug 18 04:14:17 2016 +0000
+++ b/bin/bf	Thu Aug 18 04:21:35 2016 +0000
@@ -1,4 +1,4 @@
 #! /bin/bash
 [[ $# > 0 ]] || { echo "Run what?"; exit 1; }
 ci="$1"
-echo -n "${ci#1!}" | /hackenv/interps/egobf/src/egobfi8 <(echo -n "${ci%%!*}")
+echo -n "${ci#1!}" | { /hackenv/interps/egobf/src/egobfi8 <(echo -n "${ci%%!*}") ; }